Altenkirch, T., & Neumann, J. (2024). Synthetic 1-Categories in Directed Type Theory.
Chicago-Zitierstil (17. Ausg.)Altenkirch, Thorsten, und Jacob Neumann. Synthetic 1-Categories in Directed Type Theory. 2024.
MLA-Zitierstil (9. Ausg.)Altenkirch, Thorsten, und Jacob Neumann. Synthetic 1-Categories in Directed Type Theory. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.