Formalization of dependent type theory: The example of CaTT

From MaRDI portal

Publication:6384257

Jump to:navigation, search

arXiv2111.14736MaRDI QIDQ6384257

Unnamed Author

Publication date: 29 November 2021

This page was built for publication: Formalization of dependent type theory: The example of CaTT

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6384257&oldid=36026489"