Extensional concepts in intensional type theory, revisited

MaRDI QIDQ6454375zbMATH OpenFDO

Authors Krzysztof Kapulkin, Yu-Feng Li

Publication date 9 October 2023

Mathematics Subject Classification ID

Type theory (03B38) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

This page was built for publication: Extensional concepts in intensional type theory, revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6454375)