Extensional concepts in intensional type theory, revisited
From MaRDI portal
Publication:6454375
arXiv2310.05706MaRDI QIDQ6454375FDOQ6454375
Authors: Krzysztof Kapulkin, Yu-Feng Li 
Publication date: 9 October 2023
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)
