LudwigAbap

math.LO

Subcategories

Papers

paper Simon DeDeo · 2026 A correspondence problem for mathematical proof math.HO math.LO

paper Simon DeDeo · 2026 A correspondence problem for mathematical proof math.HO math.LO

paper Simon DeDeo · 2026 A correspondence problem for mathematical proof math.HO math.LO

paper David Pym · 2024 Categorical Proof-Theoretic Semantics cs.LO math.CT math.LO
paper Egbert Rijke · 2022 Introduction to Homotopy Type Theory math.CT math.LO

paper Noson S. Yanofsky · Bulletin of Symbolic L... A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points math.LO

paper Mitchell Riley · 2024 A Type Theory with a Tiny Object cs.PL math.CT math.LO

paper David Pym · 2024 Categorical Proof-Theoretic Semantics cs.LO math.CT math.LO
paper David Pym · 2024 Categorical Proof-Theoretic Semantics cs.LO math.CT math.LO
paper Tom Leinster · 2025 Basic Category Theory math.AT math.CT math.LO