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
Isomorphism of intersection and union types†
-
- Published online by Cambridge University Press:
- 07 August 2015, pp. 603-625
-
- Article
- Export citation
- Cited by 3
Effective λ-models versus recursively enumerable λ-theories
-
- Published online by Cambridge University Press:
- 04 September 2009, pp. 897-942
-
- Article
- Export citation
- Cited by 3
Two preservation results for countable products of sequential spaces
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 161-172
-
- Article
- Export citation
- Cited by 3
Weak symmetry breaking and abstract simplex paths
-
- Published online by Cambridge University Press:
- 16 February 2015, pp. 1432-1462
-
- Article
- Export citation
- Cited by 3
On lists and other abstract data types in the calculus of constructions
-
- Published online by Cambridge University Press:
- 01 April 2000, pp. 261-276
-
- Article
- Export citation
- Cited by 3
Topological representation of the λ-calculus
-
- Published online by Cambridge University Press:
- 01 February 2000, pp. 81-96
-
- Article
- Export citation
- Cited by 3
Converging from branching to linear metrics on Markov chains
-
- Published online by Cambridge University Press:
- 25 July 2017, pp. 3-37
-
- Article
- Export citation
- Cited by 3
Processes and unfoldings: concurrent computations in adhesive categories
-
- Published online by Cambridge University Press:
- 26 June 2014, 240402
-
- Article
- Export citation
- Cited by 3
A dependently-typed construction of semi-simplicial types
-
- Published online by Cambridge University Press:
- 20 November 2014, pp. 1116-1131
-
- Article
-
- You have access
- Export citation
- Cited by 3
A focused linear logical framework and its application to metatheory of object logics
-
- Published online by Cambridge University Press:
- 15 November 2021, pp. 312-340
-
- Article
- Export citation
- Cited by 3
A semiring-based trace semantics for processes with applications to information leakage analysis
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 259-291
-
- Article
- Export citation
- Cited by 3
A formalism for the specification of essentially-algebraic structures in 2-categories†
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 1-28
-
- Article
- Export citation
- Cited by 3
On categorical models of classical logic and the Geometry of Interaction
-
- Published online by Cambridge University Press:
- 01 October 2007, pp. 957-1027
-
- Article
- Export citation
- Cited by 3
A general final coalgebra theorem
-
- Published online by Cambridge University Press:
- 27 May 2005, pp. 409-432
-
- Article
- Export citation
- Cited by 3
A note on the feasibility of generalised universal composability†
-
- Published online by Cambridge University Press:
- 01 February 2009, pp. 193-205
-
- Article
- Export citation
- Cited by 3
Order in open intervals of computable reals
-
- Published online by Cambridge University Press:
- 01 February 1999, pp. 103-108
-
- Article
- Export citation
- Cited by 3
Semantics-based software watermarking by abstract interpretation
-
- Published online by Cambridge University Press:
- 15 May 2018, pp. 339-388
-
- Article
- Export citation
- Cited by 3
On lookahead equilibria in congestion games
-
- Published online by Cambridge University Press:
- 06 May 2015, pp. 197-214
-
- Article
- Export citation
- Cited by 3
Freely adjoining monoidal duals
-
- Published online by Cambridge University Press:
- 28 October 2020, pp. 748-768
-
- Article
- Export citation
- Cited by 3
Rewriting with generalized nominal unification
-
- Published online by Cambridge University Press:
- 22 May 2020, pp. 710-735
-
- Article
- Export citation