PhilSci Archive

Items where Author is "Ladyman, James"

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

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 Lambert, James and Wiesner, Karoline (2011) What is a complex system? [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]

Conference or Workshop Item

Ladyman, James (2009) Structural Realism versus Standard Scientific Realism: The Case of Phlogiston and Dephlogisticated Air. In: UNSPECIFIED.

Published Article or Volume

Ladyman, James and Robertson, Katie (2013) Landauer Defended: Reply to Norton. Studies in History and Philosophy of Modern Physics. ISSN 1355-2198

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 Sun Dec 17 22:15:16 2017 EST.