Items where Author is "Corfield, David Neil"
Group by: Item Type | No Grouping Jump to: Preprint | Published Article or Volume Number of items: 8. PreprintCorfield, 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] Published Article or VolumeCorfield, David Neil (2018) Roi Wagner's Making and Breaking Mathematical Sense. BJPS Review of Books. |