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
A generalization of the Takeuti–Gandy interpretation
-
- Published online by Cambridge University Press:
- 20 February 2015, pp. 1071-1099
-
- Article
-
- You have access
- Export citation
- Cited by 4
Probability, statistics and computation in dynamical systems
-
- Published online by Cambridge University Press:
- 28 March 2014, e240304
-
- Article
- Export citation
- Cited by 4
Optimised assignment of airport gate configurations using an immune genetic algorithm†
-
- Published online by Cambridge University Press:
- 04 September 2014, e240517
-
- Article
- Export citation
- Cited by 4
Reducibility of domain representations and Cantor–Weihrauch domain representations
-
- Published online by Cambridge University Press:
- 01 December 2008, pp. 1031-1056
-
- Article
- Export citation
- Cited by 4
Light logics and higher-order processes
-
- Published online by Cambridge University Press:
- 17 November 2014, pp. 969-992
-
- Article
- Export citation
- Cited by 4
Adaptive control of a class of non-linear systems preceded by backlash-like hysteresis
-
- Published online by Cambridge University Press:
- 04 September 2014, e240504
-
- Article
- Export citation
- Cited by 4
An algebraic semantics of event-based architectures
-
- Published online by Cambridge University Press:
- 01 October 2007, pp. 1029-1073
-
- Article
- Export citation
- Cited by 4
Generalized geometric theories and set-generated classes
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1466-1483
-
- Article
- Export citation
- Cited by 4
Probability in quantum computation and quantum computational logics: a survey
-
- Published online by Cambridge University Press:
- 28 March 2014, e240306
-
- Article
- Export citation
- Cited by 4
Truth, modality and intersubjectivity
-
- Published online by Cambridge University Press:
- 01 December 2007, pp. 1153-1167
-
- Article
- Export citation
- Cited by 4
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
-
- Published online by Cambridge University Press:
- 01 February 2008, pp. 29-55
-
- Article
- Export citation
- Cited by 4
Isomorphisms of simple inductive types through extensional rewriting
-
- Published online by Cambridge University Press:
- 04 October 2005, pp. 875-915
-
- Article
- Export citation
- Cited by 4
Continuous-time quantum walks on the threshold network model
-
- Published online by Cambridge University Press:
- 08 November 2010, pp. 1079-1090
-
- Article
- Export citation
- Cited by 4
A practical parameterised algorithm for the individual haplotyping problem MLF†
-
- Published online by Cambridge University Press:
- 27 October 2010, pp. 851-863
-
- Article
- Export citation
- Cited by 4
On the expressiveness of π-calculus for encoding mobile ambients
-
- Published online by Cambridge University Press:
- 22 September 2016, pp. 202-240
-
- Article
-
- You have access
- Export citation
- Cited by 4
Implicative algebras: a new foundation for realizability and forcing
-
- Published online by Cambridge University Press:
- 03 July 2020, pp. 458-510
-
- Article
- Export citation
- Cited by 4
Intersection types and λ-definability
-
- Published online by Cambridge University Press:
- 06 March 2003, pp. 15-53
-
- Article
- Export citation
- Cited by 4
Strong normalization with non-structural subtyping
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 419-429
-
- Article
- Export citation
- Cited by 4
Asymptotic information leakage under one-try attacks†
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 292-319
-
- Article
-
- You have access
- Export citation
- Cited by 4
A univalent formalization of the p-adic numbers
-
- Published online by Cambridge University Press:
- 13 February 2015, pp. 1147-1171
-
- Article
-
- You have access
- Export citation