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 9
Subnets of proof-nets in multiplicative linear logic with MIX
-
- Published online by Cambridge University Press:
- 01 December 1997, pp. 663-669
-
- Article
- Export citation
- Cited by 9
Finitary $\mathcal{M}$-adhesive categories
-
- Published online by Cambridge University Press:
- 26 June 2014, 240403
-
- Article
- Export citation
- Cited by 9
Local cycles and dynamical properties of Boolean networks
-
- Published online by Cambridge University Press:
- 20 November 2014, pp. 702-718
-
- Article
- Export citation
- Cited by 9
Syntax and models of Cartesian cubical type theory
-
- Published online by Cambridge University Press:
- 17 January 2022, pp. 424-468
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 9
Datatype laws without signatures
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 1-32
-
- Article
- Export citation
- Cited by 9
Employing UML and OCL for designing and analysing role-based access control
-
- Published online by Cambridge University Press:
- 08 July 2013, pp. 796-833
-
- Article
- Export citation
- Cited by 9
Isomorphic objects in symmetric monoidal closed categories
-
- Published online by Cambridge University Press:
- 01 December 1997, pp. 639-662
-
- Article
- Export citation
- Cited by 9
Observational trees as models for concurrency
-
- Published online by Cambridge University Press:
- 01 December 1999, pp. 687-718
-
- Article
- Export citation
- Cited by 9
Perpetuality in a named lambda calculus with explicit substitutions
-
- Published online by Cambridge University Press:
- 07 March 2001, pp. 47-90
-
- Article
- Export citation
- Cited by 9
Set-syllogistics meet combinatorics
-
- Published online by Cambridge University Press:
- 11 May 2015, pp. 296-310
-
- Article
- Export citation
- Cited by 9
Monad compositions II: Kleisli strength
-
- Published online by Cambridge University Press:
- 01 June 2008, pp. 613-643
-
- Article
- Export citation
- Cited by 9
Theories of analytic monads
-
- Published online by Cambridge University Press:
- 11 March 2014, e240604
-
- Article
- Export citation
- Cited by 9
Axiomatizability in inclusive equational logics
-
- Published online by Cambridge University Press:
- 21 October 2002, pp. 541-563
-
- Article
- Export citation
- Cited by 8
Domains, integration and ‘positive analysis’
-
- Published online by Cambridge University Press:
- 16 November 2004, pp. 815-832
-
- Article
- Export citation
- Cited by 8
CaSPiS: a calculus of sessions, pipelines and services†
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 666-709
-
- Article
- Export citation
- Cited by 8
Languages under concatenation and shuffling
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 505-511
-
- Article
- Export citation
- Cited by 8
Partiality and recursion in interactive theorem provers – an overview
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 38-88
-
- Article
- Export citation
- Cited by 8
Some monoidal closed categories of stable domains and event structures
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 259-276
-
- Article
- Export citation
- Cited by 8
The Dedekind reals in abstract Stone duality
-
- Published online by Cambridge University Press:
- 01 August 2009, pp. 757-838
-
- Article
- Export citation
- Cited by 8
Enhanced coalgebraic bisimulation
-
- Published online by Cambridge University Press:
- 09 December 2015, pp. 1236-1264
-
- Article
-
- You have access
- Export citation