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 3
A categorical analogue of the monoid semiring construction
-
- Published online by Cambridge University Press:
- 09 October 2012, pp. 55-94
-
- Article
- Export citation
- Cited by 3
Specifying Peirce's law in classical realizability
-
- Published online by Cambridge University Press:
- 17 November 2014, pp. 1269-1303
-
- Article
- Export citation
- Cited by 3
Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 41-68
-
- Article
- Export citation
- Cited by 3
Stratified polymorphism and primitive recursion
-
- Published online by Cambridge University Press:
- 01 August 1999, pp. 507-522
-
- Article
- Export citation
- Cited by 3
Extending partial combinatory algebras
-
- Published online by Cambridge University Press:
- 01 August 1999, pp. 483-505
-
- Article
- Export citation
- Cited by 3
A computational view of implicit coercions in type theory
-
- Published online by Cambridge University Press:
- 04 October 2005, pp. 839-874
-
- Article
- Export citation
- Cited by 3
Cofree coalgebras and differential linear logic
-
- Published online by Cambridge University Press:
- 10 June 2020, pp. 416-457
-
- Article
- Export citation
- Cited by 3
A notion of homotopy for the effective topos
-
- Published online by Cambridge University Press:
- 17 November 2014, pp. 1132-1146
-
- Article
-
- You have access
- Export citation
- Cited by 3
Double categories: a modular model of multiplicative linear logic
-
- Published online by Cambridge University Press:
- 17 September 2002, pp. 449-479
-
- Article
- Export citation
- Cited by 3
Local fibred right adjoints are polynomial
-
- Published online by Cambridge University Press:
- 03 October 2012, pp. 131-141
-
- Article
- Export citation
- Cited by 3
The geometry of conservative programs
-
- Published online by Cambridge University Press:
- 17 October 2017, pp. 1723-1769
-
- Article
- Export citation
- Cited by 3
Complexity for partial computable functions over computable Polish spaces
-
- Published online by Cambridge University Press:
- 19 December 2016, pp. 429-447
-
- Article
- Export citation
- Cited by 3
An application of PER models to program extraction
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 309-331
-
- Article
- Export citation
- Cited by 3
Expansion trees with cut
-
- Published online by Cambridge University Press:
- 08 October 2019, pp. 1009-1029
-
- Article
- Export citation
- Cited by 3
Coherence for bicategorical cartesian closed structure
-
- Published online by Cambridge University Press:
- 18 October 2021, pp. 822-849
-
- Article
- Export citation
- Cited by 3
A projective formalism applied to topological and probabilistic event structures
-
- Published online by Cambridge University Press:
- 01 August 2007, pp. 819-837
-
- Article
- Export citation
- Cited by 3
Weakest preconditions in fibrations
-
- Published online by Cambridge University Press:
- 28 October 2022, pp. 472-510
-
- Article
- Export citation
- Cited by 3
The conservation theorem for differential nets
-
- Published online by Cambridge University Press:
- 29 October 2015, pp. 939-992
-
- Article
- Export citation
- Cited by 3
Addressed term rewriting systems: application to a typed object calculus
-
- Published online by Cambridge University Press:
- 24 July 2006, pp. 667-709
-
- Article
- Export citation
- Cited by 3
On the computability of a construction of Brownian motion†
-
- Published online by Cambridge University Press:
- 17 May 2013, pp. 1257-1265
-
- Article
- Export citation