Bezem, M., Coquand, T., Dybjer, P., & Escardó, M. (2022). Type Theory with Explicit Universe Polymorphism (revised and extended version).
Chicago-Zitierstil (17. Ausg.)Bezem, Marc, Thierry Coquand, Peter Dybjer, und Martín Escardó. Type Theory with Explicit Universe Polymorphism (revised and Extended Version). 2022.
MLA-Zitierstil (9. Ausg.)Bezem, Marc, et al. Type Theory with Explicit Universe Polymorphism (revised and Extended Version). 2022.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.