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
Proof-relevance in Bishop-style constructive mathematics
-
- Published online by Cambridge University Press:
- 31 May 2022, pp. 1-43
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 2
Quantum circuits generating four-qubit maximally entangled states
-
- Published online by Cambridge University Press:
- 28 September 2022, pp. 257-270
-
- Article
- Export citation
- Cited by 2
Semantic analysis of normalisation by evaluation for typed lambda calculus
-
- Published online by Cambridge University Press:
- 22 November 2022, pp. 1028-1065
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 2
Substitution Principle and semidirect products
-
- Published online by Cambridge University Press:
- 15 August 2023, pp. 486-535
-
- Article
- Export citation
- Cited by 2
Preface to the special issue on quantitative information flow
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 203-206
-
- Article
-
- You have access
- Export citation
- Cited by 2
Well-founded coalgebras, revisited
-
- Published online by Cambridge University Press:
- 09 February 2016, pp. 1111-1131
-
- Article
-
- You have access
- Export citation
- Cited by 2
The monoidal structure of Turing machines†
-
- Published online by Cambridge University Press:
- 28 February 2013, pp. 204-246
-
- Article
- Export citation
- Cited by 2
Singular value automata and approximate minimization
-
- Published online by Cambridge University Press:
- 27 May 2019, pp. 1444-1478
-
- Article
- Export citation
- Cited by 2
Formalising nominal C-unification generalised with protected variables
-
- Published online by Cambridge University Press:
- 07 May 2021, pp. 286-311
-
- Article
- Export citation
- Cited by 2
Topological features of good resources for measurement-based quantum computation
-
- Published online by Cambridge University Press:
- 28 February 2013, pp. 441-453
-
- Article
- Export citation
- Cited by 2
Fractals and domain theory
-
- Published online by Cambridge University Press:
- 16 November 2004, pp. 833-851
-
- Article
- Export citation
- Cited by 2
A resource aware semantics for a focused intuitionistic calculus
-
- Published online by Cambridge University Press:
- 22 May 2017, pp. 93-126
-
- Article
- Export citation
- Cited by 2
The driven three body Coulomb problem
-
- Published online by Cambridge University Press:
- 01 April 2007, pp. 225-246
-
- Article
- Export citation
- Cited by 2
θ-continuity and Dθ-completion of posets
-
- Published online by Cambridge University Press:
- 27 February 2017, pp. 533-547
-
- Article
- Export citation
- Cited by 2
A homotopy-theoretic model of function extensionality in the effective topos
-
- Published online by Cambridge University Press:
- 10 September 2018, pp. 588-614
-
- Article
- Export citation
- Cited by 2
A formal proof of Pick's Theorem
-
- Published online by Cambridge University Press:
- 01 July 2011, pp. 715-729
-
- Article
- Export citation
- Cited by 2
Addendum to ‘The Katětov construction modified for a T0-quasi-metric space’
-
- Published online by Cambridge University Press:
- 12 November 2014, pp. 1685-1691
-
- Article
- Export citation
- Cited by 2
Observing the superposition of a single particle with the vacuum
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 1051-1065
-
- Article
- Export citation
- Cited by 2
Transcendental syntax I: deterministic case
-
- Published online by Cambridge University Press:
- 20 July 2015, pp. 827-849
-
- Article
- Export citation
- Cited by 2
Deep inference and expansion trees for second-order multiplicative linear logic
-
- Published online by Cambridge University Press:
- 02 November 2018, pp. 1030-1060
-
- Article
- Export citation