A topological reading of inductive and coinductive definitions in Dependent Type Theory

arXiv2404.03494MaRDI QIDQ6529238

Pietro Sabelli

Has companion code repository: https://github.com/pietrosabelli/topological-co-induction

This page was built for publication: A topological reading of inductive and coinductive definitions in Dependent Type Theory

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