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 5
A quantum double construction in Rel†
-
- Published online by Cambridge University Press:
- 18 May 2012, pp. 618-650
-
- Article
- Export citation
- Cited by 5
Two-dimensional proof-structures and the exchange rule
-
- Published online by Cambridge University Press:
- 03 February 2004, pp. 73-96
-
- Article
- Export citation
- Cited by 5
Regular Böhm trees
-
- Published online by Cambridge University Press:
- 01 December 1998, pp. 671-680
-
- Article
- Export citation
- Cited by 5
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
-
- Published online by Cambridge University Press:
- 01 April 2007, pp. 341-359
-
- Article
- Export citation
- Cited by 5
Isomorphism theorems between models of mixed choice
-
- Published online by Cambridge University Press:
- 28 December 2015, pp. 1032-1067
-
- Article
- Export citation
- Cited by 5
Varieties generated by languages with poset operations
-
- Published online by Cambridge University Press:
- 01 December 1997, pp. 701-713
-
- Article
- Export citation
- Cited by 5
Automata theory based on unsharp quantum logic†
-
- Published online by Cambridge University Press:
- 01 August 2009, pp. 737-756
-
- Article
- Export citation
- Cited by 5
An extremely sharp phase transition threshold for the slow growing hierarchy
-
- Published online by Cambridge University Press:
- 11 October 2006, pp. 925-946
-
- Article
- Export citation
- Cited by 5
On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi
-
- Published online by Cambridge University Press:
- 14 March 2005, pp. 201-229
-
- Article
- Export citation
- Cited by 5
A type system for Discretionary Access Control†
-
- Published online by Cambridge University Press:
- 01 August 2009, pp. 839-875
-
- Article
- Export citation
- Cited by 5
Implicit exchange in multiplicative proofnets
-
- Published online by Cambridge University Press:
- 30 March 2001, pp. 261-272
-
- Article
- Export citation
- Cited by 5
Wadge hardness in Scott spaces and its effectivization
-
- Published online by Cambridge University Press:
- 14 November 2014, pp. 1520-1545
-
- Article
-
- You have access
- Export citation
- Cited by 5
Non-deterministic structures of computation
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1295-1338
-
- Article
- Export citation
- Cited by 5
Expressiveness modulo bisimilarity of regular expressions with parallel composition
-
- Published online by Cambridge University Press:
- 02 January 2015, pp. 933-968
-
- Article
- Export citation
- Cited by 5
Analysis of permutation equivalence in $\mathcal{M}$-adhesive transformation systems with negative application conditions
-
- Published online by Cambridge University Press:
- 26 June 2014, 240409
-
- Article
- Export citation
- Cited by 5
A public announcement separation logic
-
- Published online by Cambridge University Press:
- 15 April 2019, pp. 828-871
-
- Article
- Export citation
- Cited by 5
Pointwise extensions of GSOS-defined operations
-
- Published online by Cambridge University Press:
- 25 March 2011, pp. 321-361
-
- Article
- Export citation
- Cited by 5
Dependent types and explicit substitutions: a meta-theoretical development
-
- Published online by Cambridge University Press:
- 07 March 2001, pp. 91-129
-
- Article
- Export citation
- Cited by 5
A duality between exceptions and states
-
- Published online by Cambridge University Press:
- 08 May 2012, pp. 719-722
-
- Article
- Export citation
- Cited by 5
Linear types and approximation
-
- Published online by Cambridge University Press:
- 04 April 2001, pp. 719-745
-
- Article
- Export citation