Items where Author is "Bordg, Anthony"
Group by: Item Type | No Grouping Number of items: 1. Bordg, Anthony (2019) Univalent Foundations and the UniMath Library. The Architecture of Mathematics. in Reflections on the Foundations of Mathematics, Synthese Library, 407. |
This site is hosted by the University Library System of the University of Pittsburgh as part of its D-Scribe Digital Publishing Program
Philsci Archive is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}