Most read
This page lists the top ten most read articles for this journal based on the number of full text views and downloads recorded on Cambridge Core over the last 30 days. This list is updated on a daily basis.
Implicational Kleene algebra with domain and the substructural logic of partial correctness
-
- Published online by Cambridge University Press:
- 04 March 2024, pp. 1-16
-
- Article
- Export citation
Shannon entropy: a rigorous notion at the crossroads between probability, information theory, dynamical systems and statistical physics
-
- Published online by Cambridge University Press:
- 28 March 2014, e240311
-
- Article
-
- You have access
- Export citation
Dimension in team semantics
-
- Published online by Cambridge University Press:
- 12 March 2024, pp. 1-45
-
- Article
- Export citation
Semantic analysis of normalisation by evaluation for typed lambda calculus
-
- Published online by Cambridge University Press:
- 22 November 2022, pp. 1028-1065
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Learning quantum finite automata with queries
-
- Published online by Cambridge University Press:
- 30 November 2023, pp. 128-146
-
- Article
- Export citation
Towards a quantum programming language
-
- Published online by Cambridge University Press:
- 05 August 2004, pp. 527-586
-
- Article
- Export citation
The biequivalence of locally cartesian closed categories and Martin-Löf type theories
-
- Published online by Cambridge University Press:
- 29 April 2014, e240606
-
- Article
- Export citation
Parameterized complexity of weighted team definability
-
- Published online by Cambridge University Press:
- 20 February 2024, pp. 1-15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Material dialogues for first-order logic in constructive type theory: extended version
-
- Published online by Cambridge University Press:
- 03 November 2023, pp. 1-21
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
The order-K-ification monads
-
- Published online by Cambridge University Press:
- 21 December 2023, pp. 45-62
-
- Article
- Export citation