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
Generalised powerlocales via relation lifting
-
- Published online by Cambridge University Press:
- 30 August 2012, pp. 142-199
-
- Article
- Export citation
- Cited by 3
Finitary sketches and finitely accessible categories*
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 315-322
-
- Article
- Export citation
- Cited by 3
Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals
-
- Published online by Cambridge University Press:
- 16 November 2021, pp. 553-574
-
- Article
- Export citation
- Cited by 3
Denotational semantics for guarded dependent type theory
-
- Published online by Cambridge University Press:
- 08 May 2020, pp. 342-378
-
- Article
- Export citation
- Cited by 3
Synchrony versus causality in distributed systems†
-
- Published online by Cambridge University Press:
- 23 December 2014, pp. 1459-1498
-
- Article
- Export citation
- Cited by 3
A categorical version of the Brouwer–Heyting–Kolmogorov interpretation
-
- Published online by Cambridge University Press:
- 03 February 2004, pp. 57-72
-
- Article
- Export citation
- Cited by 3
Channel abstractions for network security†
-
- Published online by Cambridge University Press:
- 26 February 2010, pp. 3-44
-
- Article
- Export citation
- Cited by 3
Cartesian differential categories revisited
-
- Published online by Cambridge University Press:
- 13 April 2015, pp. 70-91
-
- Article
- Export citation
- Cited by 3
Building domains from graph models
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 277-299
-
- Article
- Export citation
- Cited by 3
Setoids and universes
-
- Published online by Cambridge University Press:
- 07 April 2010, pp. 563-576
-
- Article
- Export citation
- Cited by 3
A statistical mechanical interpretation of algorithmic information theory III: composite systems and fixed points†
-
- Published online by Cambridge University Press:
- 06 September 2012, pp. 752-770
-
- Article
- Export citation
- Cited by 3
Formalising Overlap Algebras in Matita†
-
- Published online by Cambridge University Press:
- 01 July 2011, pp. 763-793
-
- Article
- Export citation
- Cited by 3
Relating operational and denotational semantics for input/output effects
-
- Published online by Cambridge University Press:
- 01 April 1999, pp. 125-158
-
- Article
- Export citation
- Cited by 3
Hybrid linear logic, revisited
-
- Published online by Cambridge University Press:
- 22 April 2019, pp. 1151-1176
-
- Article
- Export citation
- Cited by 3
A computationally adequate model for overloading via domain-valued functors
-
- Published online by Cambridge University Press:
- 01 August 1998, pp. 321-349
-
- Article
- Export citation
- Cited by 3
Denotational semantics for a program logic of objects
-
- Published online by Cambridge University Press:
- 17 May 2006, pp. 313-358
-
- Article
- Export citation
- Cited by 3
A step-indexed Kripke model of hidden state
-
- Published online by Cambridge University Press:
- 31 August 2012, pp. 1-54
-
- Article
- Export citation
- Cited by 3
Products and projective limits of continuous valuations on T0 spaces
-
- Published online by Cambridge University Press:
- 14 July 2021, pp. 234-254
-
- Article
- Export citation
- Cited by 3
Collections, sets and types
-
- Published online by Cambridge University Press:
- 01 February 1999, pp. 109-123
-
- Article
- Export citation
- Cited by 3
A general method for proving the normalization theorem for first and second order typed λ-calculi
-
- Published online by Cambridge University Press:
- 01 December 1999, pp. 719-739
-
- Article
- Export citation