Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Construction of the Circle in UniMath - MaRDI portal

Construction of the Circle in UniMath

From MaRDI portal

Publication:6326548

Jump to:navigation, search

DOI10.1016/j.jpaa.2021.106687arXiv1910.01856MaRDI QIDQ6326548

Marc Bezem, Ulrik Buchholtz, Daniel R. Grayson, Michael Shulman

Publication date: 4 October 2019

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Type theory (03B38)

This page was built for publication: Construction of the Circle in UniMath

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