Open access
Special Issue: Homotopy Type Theory 2019
Twolevel type theory and applications
 Published online by Cambridge University Press: 30 May 2023, pp. 156

 Article

 You have access
 Open access
 HTML
 Export citation

Special Issue: Differences and Metrics in Programs Semantics: Advances in Quantitative Relational Reasoning
Coherent differentiation
 Published online by Cambridge University Press: 28 April 2023, pp. 152

 Article

 You have access
 Open access
 HTML
 Export citation

Paper
What should a generic object be?
 Published online by Cambridge University Press: 25 April 2023, pp. 4667

 Article

 You have access
 Open access
 HTML
 Export citation

Behavioural equivalences for continuoustime Markov processes
 Published online by Cambridge University Press: 30 March 2023, pp. 137

 Article

 You have access
 Open access
 HTML
 Export citation

Monoidal reverse differential categories
 Published online by Cambridge University Press: 20 February 2023, pp. 13131363

 Article

 You have access
 Open access
 HTML
 Export citation

On notions of compactness, object classifiers, and weak Tarski universes
 Published online by Cambridge University Press: 20 February 2023, pp. 118

 Article

 You have access
 Open access
 HTML
 Export citation

Special Issue: Confluence
A rewriting coherence theorem with applications in homotopy type theory
 Published online by Cambridge University Press: 06 February 2023, pp. 9821014

 Article

 You have access
 Open access
 HTML
 Export citation

On reduction and normalization in the computational core
 Published online by Cambridge University Press: 16 January 2023, pp. 934981

 Article

 You have access
 Open access
 HTML
 Export citation

Paper
Normalization in the simply typed ${\lambda \mu \mu '}\rho \theta \varepsilon$ calculus
 Published online by Cambridge University Press: 12 January 2023, pp. 10661098

 Article

 You have access
 Open access
 HTML
 Export citation

Special Issue: LSFA’19 and LSFA’20
A dualcontext sequent calculus for the constructive modal logic S4
 Published online by Cambridge University Press: 23 November 2022, pp. 12051233

 Article

 You have access
 Open access
 HTML
 Export citation

Paper
Semantic analysis of normalisation by evaluation for typed lambda calculus
 Published online by Cambridge University Press: 22 November 2022, pp. 10281065

 Article

 You have access
 Open access
 HTML
 Export citation

Special Issue: LSFA’19 and LSFA’20
A linear logic framework for multimodal logics
 Published online by Cambridge University Press: 22 November 2022, pp. 11761204

 Article

 You have access
 Open access
 HTML
 Export citation

Special Issue: In Homage to Martin Hofmann
An algebraic representation of the fixedpoint closure of *continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem
 Published online by Cambridge University Press: 14 October 2022, pp. 685728

 Article

 You have access
 Open access
 HTML
 Export citation

Special Issue: The Power Festschrift
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
 Published online by Cambridge University Press: 29 September 2022, pp. 511541

 Article

 You have access
 Open access
 HTML
 Export citation

Special Issue: Theory and Applications of Models of Computation (TAMC 2020)
Synchronizing words and monoid factorization, yielding a new parameterized complexity class?
 Published online by Cambridge University Press: 28 September 2022, pp. 189215

 Article

 You have access
 Open access
 HTML
 Export citation

Special Issue: LSFA’19 and LSFA’20
Indexed and fibered structures for partial and total correctness assertions
 Published online by Cambridge University Press: 19 September 2022, pp. 11451175

 Article

 You have access
 Open access
 HTML
 Export citation

Special Issue: Theory and Applications of Models of Computation (TAMC 2020)
On Petrie cycle and Petrie tour partitions of 3 and 4regular plane graphs
 Published online by Cambridge University Press: 30 August 2022, pp. 240256

 Article

 You have access
 Open access
 HTML
 Export citation

Paper
The role of linearity in sharing analysis
 Published online by Cambridge University Press: 14 June 2022, pp. 44110

 Article

 You have access
 Open access
 HTML
 Export citation

Special Issue: Confluence
String diagram rewrite theory III: Confluence with and without Frobenius
 Published online by Cambridge University Press: 13 June 2022, pp. 829869

 Article

 You have access
 Open access
 HTML
 Export citation

Paper
Proofrelevance in Bishopstyle constructive mathematics
 Published online by Cambridge University Press: 31 May 2022, pp. 143

 Article

 You have access
 Open access
 HTML
 Export citation
