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 13
Polarised subtyping for sized types
-
- Published online by Cambridge University Press:
- 01 October 2008, pp. 797-822
-
- Article
- Export citation
- Cited by 13
Church-Rooser property and homology of monoids
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 297-326
-
- Article
- Export citation
- Cited by 13
Some reasons for generalising domain theory
-
- Published online by Cambridge University Press:
- 25 March 2010, pp. 239-265
-
- Article
- Export citation
- Cited by 12
Unitary invariants of qubit systems
-
- Published online by Cambridge University Press:
- 01 December 2007, pp. 1133-1151
-
- Article
- Export citation
- Cited by 12
Information flow safety in multiparty sessions†
-
- Published online by Cambridge University Press:
- 02 January 2015, pp. 1352-1394
-
- Article
- Export citation
- Cited by 12
Graph models of $\lambda$-calculus at work, and variations
-
- Published online by Cambridge University Press:
- 17 May 2006, pp. 185-221
-
- Article
- Export citation
- Cited by 12
Recursion over objects of functional type
-
- Published online by Cambridge University Press:
- 25 July 2001, pp. 555-572
-
- Article
- Export citation
- Cited by 12
Classical lambda calculus in modern dress
-
- Published online by Cambridge University Press:
- 13 July 2015, pp. 762-781
-
- Article
- Export citation
- Cited by 12
Affine functions and series with co-inductive real numbers
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 37-63
-
- Article
- Export citation
- Cited by 12
A formal approach to collaborative modelling and co-simulation for embedded systems†
-
- Published online by Cambridge University Press:
- 08 July 2013, pp. 726-750
-
- Article
- Export citation
- Cited by 12
The call-by-value λ-calculus: a semantic investigation
-
- Published online by Cambridge University Press:
- 01 October 1999, pp. 617-650
-
- Article
- Export citation
- Cited by 12
String rewriting and homology of monoids
-
- Published online by Cambridge University Press:
- 01 June 1997, pp. 207-240
-
- Article
- Export citation
- Cited by 12
Characteristic formulae for fixed-point semantics: a general framework
-
- Published online by Cambridge University Press:
- 28 February 2012, pp. 125-173
-
- Article
- Export citation
- Cited by 12
Turing universality of the Biochemical Ground Form
-
- Published online by Cambridge University Press:
- 26 February 2010, pp. 45-73
-
- Article
- Export citation
- Cited by 12
The formal ball model for -categories
-
- Published online by Cambridge University Press:
- 02 December 2010, pp. 41-64
-
- Article
- Export citation
- Cited by 12
An extensible approach to session polymorphism†
-
- Published online by Cambridge University Press:
- 23 February 2015, pp. 465-509
-
- Article
- Export citation
- Cited by 12
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
-
- Published online by Cambridge University Press:
- 25 March 2011, pp. 235-266
-
- Article
- Export citation
- Cited by 12
General synthetic domain theory – a logical approach
-
- Published online by Cambridge University Press:
- 01 April 1999, pp. 177-223
-
- Article
- Export citation
- Cited by 12
Applications and extensions of Alloy: past, present and future
-
- Published online by Cambridge University Press:
- 08 July 2013, pp. 915-933
-
- Article
- Export citation
- Cited by 12
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
-
- Published online by Cambridge University Press:
- 05 May 2017, pp. 1507-1540
-
- Article
- Export citation