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 90 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
-
- You have access
- HTML
- 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
A general framework for the semantics of type theory
-
- Published online by Cambridge University Press:
- 24 July 2023, pp. 134-179
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Introduction to the special issue: Unification
-
- Published online by Cambridge University Press:
- 08 October 2020, pp. 570-571
-
- Article
-
- You have access
- Export citation
Visibility and exploitation in social networks
-
- Published online by Cambridge University Press:
- 19 December 2023, pp. 1-30
-
- Article
-
- You have access
- Open access
- HTML
- 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
Randomness in biology
-
- Published online by Cambridge University Press:
- 28 March 2014, e240308
-
- Article
-
- You have access
- Export citation
Two-level type theory and applications
-
- Published online by Cambridge University Press:
- 30 May 2023, pp. 688-743
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Bicategorical type theory: semantics and syntax
-
- Published online by Cambridge University Press:
- 17 October 2023, pp. 868-912
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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