Polynomial pseudomonads and dependent type theory

From MaRDI portal
Publication:6297288

arXiv1802.00997MaRDI QIDQ6297288

Steven Awodey, Clive Newstead

Publication date: 3 February 2018




Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).





This page was built for publication: Polynomial pseudomonads and dependent type theory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6297288&oldid=35869111"
Powered by MediaWiki