Open access
Special Issue: WoLLIC 2022
Witnessing flows in arithmetic
-
- Published online by Cambridge University Press:
- 20 September 2024, pp. 1-37
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: Advances in Homotopy type theory
On Hofmann–Streicher universes
-
- Published online by Cambridge University Press:
- 19 September 2024, pp. 1-17
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: LSFA 2021 and LSFA 2022
GADTs are not (Even partial) functors
-
- Published online by Cambridge University Press:
- 27 August 2024, pp. 1-24
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Paper
Countability constraints in order-theoretic approaches to computability
-
- Published online by Cambridge University Press:
- 30 May 2024, pp. 1-38
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: Logic, Databases and Complexity
Logical characterizations of algebraic circuit classes over integral domains
-
- Published online by Cambridge University Press:
- 13 May 2024, pp. 1-29
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: Advances in Homotopy type theory
On planarity of graphs in homotopy type theory
-
- Published online by Cambridge University Press:
- 08 May 2024, pp. 1-41
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: WoLLIC 2022
You can only be lucky once: optimal gossip for epistemic goals
-
- Published online by Cambridge University Press:
- 19 April 2024, pp. 1-28
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Abstract cyclic proofs
-
- Published online by Cambridge University Press:
- 19 April 2024, pp. 1-26
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: LSFA 2021 and LSFA 2022
Equational theorem proving for clauses over strings
-
- Published online by Cambridge University Press:
- 18 April 2024, pp. 1-24
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Paper
A 2-categorical proof of Frobenius for fibrations defined from a generic point
-
- Published online by Cambridge University Press:
- 15 April 2024, pp. 1-23
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: Logic, Databases and Complexity
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
Paper
Discrete equational theories
-
- Published online by Cambridge University Press:
- 22 January 2024, pp. 147-160
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: WoLLIC 2022
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
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
Paper
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
Special Issue: TAMC 2022
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective
-
- Published online by Cambridge University Press:
- 11 September 2023, pp. 227-243
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Paper
Robustness, Scott continuity, and computability
-
- Published online by Cambridge University Press:
- 04 August 2023, pp. 536-572
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Apartness, sharp elements, and the Scott topology of domains
-
- Published online by Cambridge University Press:
- 02 August 2023, pp. 573-604
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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