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

Matteo Spadetto

Browse the full FOSSACS paper archive.