Spadetto, M. (2025). A 2-categorical approach to the semantics of dependent type theory with computation axioms.
Citazione stile Chigago Style (17a edizione)Spadetto, Matteo. A 2-categorical Approach to the Semantics of Dependent Type Theory with Computation Axioms. 2025.
Citatione MLA (9a ed.)Spadetto, Matteo. A 2-categorical Approach to the Semantics of Dependent Type Theory with Computation Axioms. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.