A 2-categorical approach to the semantics of dependent type theory with computation axioms

Lecture notes in computer science 2026 Open access

Read full text

Authors: Matteo Spadetto

DOI: 10.1007/978-3-032-22730-0_28

Cited by: 0

Fields of Study & Subjects

Logic programming and type systems Homotopy and Cohomology in Algebraic Topology Philosophy and Theoretical Science