Paper
Witness algebra and anyon braiding
-
- Published online by Cambridge University Press:
- 16 March 2020, pp. 234-270
-
- Article
- Export citation
A representation of proper BC domains based on conjunctive sequent calculi
-
- Published online by Cambridge University Press:
- 16 October 2019, pp. 1-13
-
- Article
- Export citation
Introduction
Introduction to the special issue: Unification
-
- Published online by Cambridge University Press:
- 08 October 2020, pp. 570-571
-
- Article
-
- You have access
- Export citation
Paper
Jets and differential linear logic
-
- Published online by Cambridge University Press:
- 24 November 2020, pp. 865-891
-
- Article
- Export citation
NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability
-
- Published online by Cambridge University Press:
- 27 October 2020, pp. 736-751
-
- Article
- Export citation
Preserving cardinals and weak forms of Zorn’s lemma in realizability models
-
- Published online by Cambridge University Press:
- 10 February 2021, pp. 976-996
-
- Article
- Export citation
Denotational semantics for guarded dependent type theory
-
- Published online by Cambridge University Press:
- 08 May 2020, pp. 342-378
-
- Article
- Export citation
Modal dependent type theory and dependent right adjoints
-
- Published online by Cambridge University Press:
- 12 December 2019, pp. 118-138
-
- Article
- Export citation
Implicative algebras: a new foundation for realizability and forcing
-
- Published online by Cambridge University Press:
- 03 July 2020, pp. 458-510
-
- Article
- Export citation
A MALL geometry of interaction based on indexed linear logic
-
- Published online by Cambridge University Press:
- 14 June 2021, pp. 1025-1053
-
- Article
-
- You have access
- Open access
- Export citation
SMT-based verification of data-aware processes: a model-theoretic approach
-
- Published online by Cambridge University Press:
- 03 April 2020, pp. 271-313
-
- Article
- Export citation
Encodings of Turing machines in linear logic
-
- Published online by Cambridge University Press:
- 10 June 2020, pp. 379-415
-
- Article
- Export citation
Nilpotent types and fracture squares in homotopy type theory
-
- Published online by Cambridge University Press:
- 08 July 2020, pp. 511-544
-
- Article
- Export citation
A unified approach to some non-Hausdorff topological properties
-
- Published online by Cambridge University Press:
- 16 March 2021, pp. 997-1010
-
- Article
- Export citation
Multisets, heaps, bags, families: What is a multiset?
-
- Published online by Cambridge University Press:
- 27 January 2020, pp. 139-158
-
- Article
- Export citation
Noncommutative network models
-
- Published online by Cambridge University Press:
- 11 November 2019, pp. 14-32
-
- Article
-
- You have access
- Open access
- Export citation
Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
-
- Published online by Cambridge University Press:
- 21 January 2020, pp. 572-596
-
- Article
- Export citation
Forward analysis for WSTS, part I: completions
-
- Published online by Cambridge University Press:
- 19 October 2020, pp. 752-832
-
- Article
- Export citation
Quantifiers on languages and codensity monads
-
- Published online by Cambridge University Press:
- 23 June 2021, pp. 1054-1088
-
- Article
- Export citation
Dynamic game semantics
-
- Published online by Cambridge University Press:
- 18 December 2020, pp. 892-951
-
- Article
- Export citation