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 6
Denotational semantics of recursive types in synthetic guarded domain theory
-
- Published online by Cambridge University Press:
- 15 May 2018, pp. 465-510
-
- Article
- Export citation
- Cited by 6
Causal dependencies in multiplicative linear logic with MIX
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 351-380
-
- Article
- Export citation
- Cited by 6
Constructing Gröbner bases for Noetherian rings†
-
- Published online by Cambridge University Press:
- 08 October 2013, e240206
-
- Article
- Export citation
- Cited by 6
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
-
- Published online by Cambridge University Press:
- 29 September 2022, pp. 511-541
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 5
Multiple-Labelled Transition Systems for nominal calculi and their logics†
-
- Published online by Cambridge University Press:
- 01 February 2008, pp. 107-143
-
- Article
- Export citation
- Cited by 5
Modal operators and the formal dual of Birkhoff's completeness theorem
-
- Published online by Cambridge University Press:
- 01 April 2003, pp. 233-258
-
- Article
- Export citation
- Cited by 5
A theory of mixin modules: algebraic laws and reduction semantics
-
- Published online by Cambridge University Press:
- 17 January 2003, pp. 701-737
-
- Article
- Export citation
- Cited by 5
Categorical properties of logical frameworks
-
- Published online by Cambridge University Press:
- 01 February 1997, pp. 1-47
-
- Article
- Export citation
- Cited by 5
A light-weight integration of automated and interactive theorem proving
-
- Published online by Cambridge University Press:
- 12 November 2014, pp. 129-153
-
- Article
- Export citation
- Cited by 5
Computable analysis with applications to dynamic systems
-
- Published online by Cambridge University Press:
- 09 March 2020, pp. 173-233
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 5
String diagram rewrite theory III: Confluence with and without Frobenius
-
- Published online by Cambridge University Press:
- 13 June 2022, pp. 829-869
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 5
A conjunctive type system for useless-code elimination
-
- Published online by Cambridge University Press:
- 06 March 2003, pp. 157-197
-
- Article
- Export citation
- Cited by 5
Garside monoids vs divisibility monoids
-
- Published online by Cambridge University Press:
- 14 March 2005, pp. 231-242
-
- Article
- Export citation
- Cited by 5
Generation and sudden death of entanglement in qubit–qutrit systems with depolarising noise
-
- Published online by Cambridge University Press:
- 10 April 2013, pp. 1220-1233
-
- Article
- Export citation
- Cited by 5
Operations and equations for coalgebras
-
- Published online by Cambridge University Press:
- 28 January 2005, pp. 149-166
-
- Article
- Export citation
- Cited by 5
Reasoning about knowledge and messages in asynchronous multi-agent systems
-
- Published online by Cambridge University Press:
- 10 November 2017, pp. 127-168
-
- Article
- Export citation
- Cited by 5
Iterative reflections of monads
-
- Published online by Cambridge University Press:
- 04 February 2010, pp. 419-452
-
- Article
- Export citation
- Cited by 5
A short proof of the Schröder–Simpson Theorem
-
- Published online by Cambridge University Press:
- 02 December 2014, pp. 1-5
-
- Article
- Export citation
- Cited by 5
Linearity, session types and the Pi calculus
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 206-237
-
- Article
- Export citation
- Cited by 5
Two decades of automatic amortized resource analysis
-
- Published online by Cambridge University Press:
- 16 March 2022, pp. 729-759
-
- Article
-
- You have access
- Open access
- HTML
- Export citation