Open access
Special Issue: Homotopy Type Theory 2019
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
Special Issue: Differences and Metrics in Programs Semantics: Advances in Quantitative Relational Reasoning
CHAD for expressive total languages
-
- Published online by Cambridge University Press:
- 14 July 2023, pp. 311-426
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Erratum
Two-level type theory and applications - ERRATUM
-
- Published online by Cambridge University Press:
- 10 July 2023, p. 80
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: Differences and Metrics in Programs Semantics: Advances in Quantitative Relational Reasoning
Up-to techniques for behavioural metrics via fibrations
-
- Published online by Cambridge University Press:
- 10 July 2023, pp. 182-221
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Paper
Univalent categories of modules
-
- Published online by Cambridge University Press:
- 23 June 2023, pp. 106-133
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: Homotopy Type Theory 2019
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
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. 259-310
-
- 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. 46-67
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: Differences and Metrics in Programs Semantics: Advances in Quantitative Relational Reasoning
Behavioural equivalences for continuous-time Markov processes
-
- Published online by Cambridge University Press:
- 30 March 2023, pp. 222-258
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Paper
Monoidal reverse differential categories
-
- Published online by Cambridge University Press:
- 20 February 2023, pp. 1313-1363
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: Homotopy Type Theory 2019
On notions of compactness, object classifiers, and weak Tarski universes
-
- Published online by Cambridge University Press:
- 20 February 2023, pp. 661-678
-
- 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. 982-1014
-
- 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. 934-981
-
- 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. 1066-1098
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: LSFA’19 and LSFA’20
A dual-context sequent calculus for the constructive modal logic S4
-
- Published online by Cambridge University Press:
- 23 November 2022, pp. 1205-1233
-
- 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. 1028-1065
-
- 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. 1176-1204
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: In Homage to Martin Hofmann
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem
-
- Published online by Cambridge University Press:
- 14 October 2022, pp. 685-728
-
- 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. 511-541
-
- 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. 189-215
-
- Article
-
- You have access
- Open access
- HTML
- Export citation