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 15
Introduction to linear bicategories
-
- Published online by Cambridge University Press:
- 01 April 2000, pp. 165-203
-
- Article
- Export citation
- Cited by 15
Modelling session types using contracts
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 510-560
-
- Article
- Export citation
- Cited by 15
Extending modal transition systems with structured labels
-
- Published online by Cambridge University Press:
- 08 May 2012, pp. 581-617
-
- Article
- Export citation
- Cited by 15
Natural models of homotopy type theory
-
- Published online by Cambridge University Press:
- 17 November 2016, pp. 241-286
-
- Article
- Export citation
- Cited by 15
A rewriting framework and logic for activities subject to regulations
-
- Published online by Cambridge University Press:
- 02 June 2015, pp. 332-375
-
- Article
- Export citation
- Cited by 14
What is a categorical model of the differential and the resource λ-calculi?
-
- Published online by Cambridge University Press:
- 27 February 2012, pp. 451-520
-
- Article
- Export citation
- Cited by 14
Categorical concepts for parameterized partial specifications†
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 153-188
-
- Article
- Export citation
- Cited by 14
Program specification and data refinement in type theory†
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 333-363
-
- Article
- Export citation
- Cited by 14
Formalising foundations of mathematics†
-
- Published online by Cambridge University Press:
- 01 July 2011, pp. 883-911
-
- Article
- Export citation
- Cited by 14
Multi-amalgamation of rules with application conditions in $\mathcal{M}$-adhesive categories
-
- Published online by Cambridge University Press:
- 26 June 2014, 240405
-
- Article
- Export citation
- Cited by 14
Open-graphs and monoidal theories†
-
- Published online by Cambridge University Press:
- 28 February 2013, pp. 308-359
-
- Article
- Export citation
- Cited by 14
A hierarchy of reverse bisimulations on stable configuration structures
-
- Published online by Cambridge University Press:
- 28 February 2012, pp. 333-372
-
- Article
- Export citation
- Cited by 14
Combinatorial laplacians and positivity under partial transpose
-
- Published online by Cambridge University Press:
- 01 February 2008, pp. 205-219
-
- Article
- Export citation
- Cited by 14
A categorical model for higher order imperative programming
-
- Published online by Cambridge University Press:
- 01 August 1998, pp. 351-399
-
- Article
- Export citation
- Cited by 14
Coalgebraic modal logic of finite rank
-
- Published online by Cambridge University Press:
- 27 May 2005, pp. 453-473
-
- Article
- Export citation
- Cited by 14
The temporal logic of coalgebras via Galois algebras
-
- Published online by Cambridge University Press:
- 17 January 2003, pp. 875-903
-
- Article
- Export citation
- Cited by 14
Quantum computation and quantum information
-
- Published online by Cambridge University Press:
- 01 December 2007, p. 1115
-
- Article
- Export citation
- Cited by 14
Spatial quantum search in a triangular network†
-
- Published online by Cambridge University Press:
- 09 February 2012, pp. 521-531
-
- Article
- Export citation
- Cited by 14
Modular control-flow analysis with rank 2 intersection types
-
- Published online by Cambridge University Press:
- 06 March 2003, pp. 87-124
-
- Article
- Export citation
- Cited by 14
Non-commutative logic II: sequent calculus and phase semantics
-
- Published online by Cambridge University Press:
- 01 April 2000, pp. 277-312
-
- Article
- Export citation