Most cited
This page lists all time most cited articles for this title. Please use the publication date filters on the left if you would like to restrict this list to recently published content, for example to articles published in the last three years. The number of times each article was cited is displayed to the right of its title and can be clicked to access a list of all titles this article has been cited by.
- Cited by 4
A note on recursive functions†
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 127-139
-
- Article
- Export citation
- Cited by 4
A linear category of polynomial diagrams
-
- Published online by Cambridge University Press:
- 17 May 2013, e240104
-
- Article
- Export citation
- Cited by 4
Pure type systems with explicit substitution
-
- Published online by Cambridge University Press:
- 07 March 2001, pp. 3-19
-
- Article
- Export citation
- Cited by 4
Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
-
- Published online by Cambridge University Press:
- 01 April 2000, pp. 231-259
-
- Article
- Export citation
- Cited by 4
Multisets, heaps, bags, families: What is a multiset?
-
- Published online by Cambridge University Press:
- 27 January 2020, pp. 139-158
-
- Article
- Export citation
- Cited by 4
Interactive and automated proofs for graph transformations
-
- Published online by Cambridge University Press:
- 27 July 2018, pp. 1333-1362
-
- Article
- Export citation
- Cited by 4
A generalization of the Takeuti–Gandy interpretation
-
- Published online by Cambridge University Press:
- 20 February 2015, pp. 1071-1099
-
- Article
-
- You have access
- Export citation
- Cited by 4
Optimised assignment of airport gate configurations using an immune genetic algorithm†
-
- Published online by Cambridge University Press:
- 04 September 2014, e240517
-
- Article
- Export citation
- Cited by 4
Back to the Coordinated Attack Problem
-
- Published online by Cambridge University Press:
- 09 July 2021, pp. 1089-1113
-
- Article
- Export citation
- Cited by 4
Call-by-need in token-passing nets
-
- Published online by Cambridge University Press:
- 24 July 2006, pp. 639-666
-
- Article
- Export citation
- Cited by 4
Proof search in Lax Logic
-
- Published online by Cambridge University Press:
- 25 July 2001, pp. 573-588
-
- Article
- Export citation
- Cited by 4
Anti-symmetry of higher-order subtyping and equality by subtyping
-
- Published online by Cambridge University Press:
- 21 February 2006, pp. 41-65
-
- Article
- Export citation
- Cited by 4
Syllogistic logic with “Most”
-
- Published online by Cambridge University Press:
- 13 March 2019, pp. 763-782
-
- Article
- Export citation
- Cited by 4
The structure of first-order causality
-
- Published online by Cambridge University Press:
- 24 January 2011, pp. 65-110
-
- Article
- Export citation
- Cited by 4
Non-uniform (hyper/multi)coherence spaces
-
- Published online by Cambridge University Press:
- 01 November 2010, pp. 1-40
-
- Article
- Export citation
- Cited by 4
Process discovery and Petri nets†
-
- Published online by Cambridge University Press:
- 04 December 2009, pp. 1091-1124
-
- Article
- Export citation
- Cited by 4
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
-
- Published online by Cambridge University Press:
- 27 February 2017, pp. 508-532
-
- Article
- Export citation
- Cited by 4
Zen and the art of formalisation
-
- Published online by Cambridge University Press:
- 01 July 2011, pp. 679-682
-
- Article
- Export citation
- Cited by 4
Projections for polymorphic first-order strictness analysis†
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 301-326
-
- Article
- Export citation
- Cited by 4
Probability, statistics and computation in dynamical systems
-
- Published online by Cambridge University Press:
- 28 March 2014, e240304
-
- Article
- Export citation