Items where Author is "Presnell, Stuart"
Group by: Item Type | No Grouping Number of items: 6. PreprintLadyman, 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] OtherLadyman, James and Presnell, Stuart (2014) A Primer on Homotopy Type Theory Part 1: The Formal Type Theory. UNSPECIFIED. |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}