Impredicative Encodings of (Higher) Inductive Types

From MaRDI portal

MaRDI QIDQ7148934arXivFDO

Authors Steve Awodey, Jonas Frey, Sam Speight

Publication date 2018

Published in arXiv


arXiv classification

cs.LO















This page was built for publication: Impredicative Encodings of (Higher) Inductive Types

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Impredicative_Encodings_of_(Higher)_Inductive_Types&oldid=107111432"
Powered by MediaWiki