Items where Author is "Crane, Harry"
Group by: Item Type | No Grouping Number of items: 1. Crane, Harry (2018) Univalent Foundations as a Foundation for Mathematical Practice. [Preprint] |
Items where Author is "Crane, Harry"
Group by: Item Type | No Grouping Number of items: 1. Crane, Harry (2018) Univalent Foundations as a Foundation for Mathematical Practice. [Preprint] |
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}