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
Strongly algebraic = SFP (topically)
-
- Published online by Cambridge University Press:
- 09 January 2002, pp. 717-742
-
- 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
A linear category of polynomial diagrams
-
- Published online by Cambridge University Press:
- 17 May 2013, e240104
-
- 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
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
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
Probability, statistics and computation in dynamical systems
-
- Published online by Cambridge University Press:
- 28 March 2014, e240304
-
- 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
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
Mechanizing proofs with logical relations – Kripke-style
-
- Published online by Cambridge University Press:
- 02 August 2018, pp. 1606-1638
-
- 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
Proof search in Lax Logic
-
- Published online by Cambridge University Press:
- 25 July 2001, pp. 573-588
-
- 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
On reduction and normalization in the computational core
-
- Published online by Cambridge University Press:
- 16 January 2023, pp. 934-981
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 4
A case study in programming coinductive proofs: Howe’s method
-
- Published online by Cambridge University Press:
- 31 October 2018, pp. 1309-1343
-
- Article
-
- You have access
- 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
The structure of first-order causality
-
- Published online by Cambridge University Press:
- 24 January 2011, pp. 65-110
-
- 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
Syllogistic logic with “Most”
-
- Published online by Cambridge University Press:
- 13 March 2019, pp. 763-782
-
- Article
- Export citation