Items where Author is "Corfield, David Neil"
Group by: Item Type | No Grouping Number of items: 7. Corfield, David Neil (2017) Expressing ‘The Structure of’ in Homotopy Type Theory. [Preprint] Corfield, David Neil (2016) The vertical unity of concepts in mathematics through the lens of homotopy type theory. [Preprint] Corfield, David Neil (2015) Reviving the Philosophy of Geometry. [Preprint] Corfield, David Neil (2010) Lautman and the Reality of Mathematics. [Preprint] Corfield, David Neil (2004) Categorification as a Heuristic Device. [Preprint] Corfield, David Neil (2004) Categorification as a Heuristic Device. [Preprint] Corfield, David Neil (2004) Mathematical Kinds, or Being Kind to Mathematics. [Preprint] |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}