PhilSci Archive

Items where Author is "Presnell, Stuart"

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

Preprint

Ladyman, James and Presnell, Stuart (2014) Does Homotopy Type Theory Provide a Foundation for Mathematics? [Preprint]

Ladyman, James and Presnell, Stuart (2014) Identity in HoTT, Part I. [Preprint]

Ladyman, James and Presnell, Stuart and Short, Anthony J. (2006) The Use of the Information Theoretic Entropy in Thermodynamics. [Preprint]

Ladyman, James and Presnell, Stuart and Short, Anthony J. and Groisman, Berry (2006) The Connection between Logical and Thermodynamic Irreversibility. [Preprint]

Short, Tony and Ladyman, James and Groisman, Berry and Presnell, Stuart (2005) The Connection between Logical and Thermodynamical Irreversibility. [Preprint]

Other

Ladyman, James and Presnell, Stuart (2014) A Primer on Homotopy Type Theory Part 1: The Formal Type Theory. UNSPECIFIED.

This list was generated on Mon Oct 23 00:23:15 2017 EDT.