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 8
Bunched polymorphism
-
- Published online by Cambridge University Press:
- 01 December 2008, pp. 1091-1132
-
- Article
-
- You have access
- Export citation
- Cited by 8
Discrete-time and continuous-time modelling: some bridges and gaps
-
- Published online by Cambridge University Press:
- 01 April 2007, pp. 261-276
-
- Article
-
- You have access
- Export citation
- Cited by 8
The parametric continuation monad †
-
- Published online by Cambridge University Press:
- 24 August 2015, pp. 651-680
-
- Article
-
- You have access
- Export citation
- Cited by 8
Two-level type theory and applications
-
- Published online by Cambridge University Press:
- 30 May 2023, pp. 688-743
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 8
Ordinal computations
-
- Published online by Cambridge University Press:
- 11 October 2006, pp. 867-884
-
- Article
-
- You have access
- Export citation
- Cited by 8
Towards a typed Geometry of Interaction
-
- Published online by Cambridge University Press:
- 21 April 2010, pp. 473-521
-
- Article
-
- You have access
- Export citation
- Cited by 8
Quasi-Nelson algebras and fragments
-
- Published online by Cambridge University Press:
- 11 May 2021, pp. 257-285
-
- Article
-
- You have access
- Export citation
- Cited by 8
Category-based constraint logic
-
- Published online by Cambridge University Press:
- 01 June 2000, pp. 373-407
-
- Article
-
- You have access
- Export citation
- Cited by 8
The computational power of timed P systems with active membranes using promoters
-
- Published online by Cambridge University Press:
- 09 August 2018, pp. 663-680
-
- Article
-
- You have access
- Export citation
- Cited by 8
Krivine's classical realisability from a categorical perspective
-
- Published online by Cambridge University Press:
- 10 April 2013, pp. 1234-1256
-
- Article
-
- You have access
- Export citation
- Cited by 8
Integral categories and calculus categories
-
- Published online by Cambridge University Press:
- 05 February 2018, pp. 243-308
-
- Article
-
- You have access
- Export citation
- Cited by 8
The quantum walk search algorithm: factors affecting efficiency
-
- Published online by Cambridge University Press:
- 16 May 2018, pp. 389-429
-
- Article
-
- You have access
- Export citation
- Cited by 8
Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
-
- Published online by Cambridge University Press:
- 14 November 2014, pp. 1490-1519
-
- Article
-
- You have access
- Export citation
- Cited by 8
Essential and relational models†
-
- Published online by Cambridge University Press:
- 23 July 2015, pp. 626-650
-
- Article
-
- You have access
- Export citation
- Cited by 8
Multi-objective comprehensive evaluation approach to a river health system based on fuzzy entropy†
-
- Published online by Cambridge University Press:
- 04 September 2014, e240515
-
- Article
-
- You have access
- Export citation
- Cited by 7
Structured transition systems with parametric observations: observational congruences and minimal realizations
-
- Published online by Cambridge University Press:
- 01 June 1997, pp. 241-282
-
- Article
-
- You have access
- Export citation
- Cited by 7
Quantum walks and elliptic integrals
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 1091-1098
-
- Article
-
- You have access
- Export citation
- Cited by 7
Some hierarchies of QCB0-spaces
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1799-1823
-
- Article
-
- You have access
- Export citation
- Cited by 7
On universal computably enumerable prefix codes
-
- Published online by Cambridge University Press:
- 01 February 2009, pp. 45-57
-
- Article
-
- You have access
- Export citation
- Cited by 7
A note on accelerated Turing machines
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 1011-1017
-
- Article
-
- You have access
- Export citation