An Introduction to Categorical Proof Theory

Coimbra mathematical texts. 2026 Book chapter Open access

Read full text
Authors: Amirhossein Akbar Tabatabai
DOI: 10.1007/978-3-032-13760-9_4
Cited by: 0

Fields of Study & Subjects

Advanced Algebra and Logic

Publication details

Journal / source
Coimbra mathematical texts.
Pages
153–296
Publication date
1 January 2026
Language
EN
Document type
Book chapter