PhilSci Archive

Items where Author is "Corfield, David Neil"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Preprint
Number of items: 7.

Preprint

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]

This list was generated on Thu Oct 19 05:05:36 2017 EDT.