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 2
Relating reasoning methodologies in linear logic and process algebra
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 868-906
-
- Article
- Export citation
- Cited by 2
Probability, valuations, hyperspace: Three monads on top and the support as a morphism
-
- Published online by Cambridge University Press:
- 08 March 2022, pp. 850-897
-
- Article
- Export citation
- Cited by 2
Primitive recursion in the abstract
-
- Published online by Cambridge University Press:
- 21 January 2020, pp. 33-43
-
- Article
- Export citation
- Cited by 2
Extending relational algebra with similarities
-
- Published online by Cambridge University Press:
- 25 April 2012, pp. 686-718
-
- Article
- Export citation
- Cited by 2
On the building of affine retractions
-
- Published online by Cambridge University Press:
- 01 August 2008, pp. 753-793
-
- Article
- Export citation
- Cited by 2
Intuitionistic phase semantics is almost classical
-
- Published online by Cambridge University Press:
- 21 February 2006, pp. 67-86
-
- Article
- Export citation
- Cited by 2
On merging two trust-networks in one with bipolar preferences
-
- Published online by Cambridge University Press:
- 01 June 2015, pp. 215-233
-
- Article
- Export citation
- Cited by 2
Separating minimal valuations, point-continuous valuations, and continuous valuations
-
- Published online by Cambridge University Press:
- 07 December 2021, pp. 614-632
-
- Article
- Export citation
- Cited by 1
CHAD for expressive total languages
-
- Published online by Cambridge University Press:
- 14 July 2023, pp. 311-426
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
The Scott model of PCF in univalent type theory
-
- Published online by Cambridge University Press:
- 23 July 2021, pp. 1270-1300
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 1
Universal properties for universal types in bifibrational parametricity
-
- Published online by Cambridge University Press:
- 22 March 2019, pp. 810-827
-
- Article
- Export citation
- Cited by 1
A rewriting coherence theorem with applications in homotopy type theory
-
- Published online by Cambridge University Press:
- 06 February 2023, pp. 982-1014
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach
-
- Published online by Cambridge University Press:
- 10 November 2016, pp. 667-709
-
- Article
- Export citation
- Cited by 1
The largest Cartesian closed category of domains, considered constructively
-
- Published online by Cambridge University Press:
- 14 March 2005, pp. 299-321
-
- Article
- Export citation
- Cited by 1
Sequent combinators: a Hilbert system for the lambda calculus
-
- Published online by Cambridge University Press:
- 01 February 2000, pp. 1-79
-
- Article
- Export citation
- Cited by 1
Special issue: Modalities in type theory
-
- Published online by Cambridge University Press:
- 25 July 2001, pp. 507-509
-
- Article
- Export citation
- Cited by 1
Adversarial scheduling in discrete models of social dynamics†
-
- Published online by Cambridge University Press:
- 06 September 2012, pp. 788-815
-
- Article
- Export citation
- Cited by 1
Syntactical truth predicates for formulas with atomic negation
-
- Published online by Cambridge University Press:
- 26 February 2002, pp. 1-18
-
- Article
- Export citation
- Cited by 1
Equational axioms associated with finite automata for fixed point operations in cartesian categories
-
- Published online by Cambridge University Press:
- 08 April 2015, pp. 54-69
-
- Article
- Export citation
- Cited by 1
Exponentiable morphisms of domains
-
- Published online by Cambridge University Press:
- 01 October 2008, pp. 1005-1016
-
- Article
- Export citation