Dr Stuart Presnell

Summary

I'm a Research Assistant in the Philosophy department, working with James Ladyman on a Leverhulme funded research project on Homotopy Type Theory.

Memberships

Organisations

Department of Philosophy

Academics by department

• Philosophy

Honorary staff

• Honorary staff - Philosophy

Recent publications

• Ladyman, J & Presnell, S, 2019, ‘The Hole Argument and Homotopy Type Theory’. Foundations of Physics.
• Ladyman, J & Presnell, S, 2019, ‘Universes and Univalence in Homotopy Type Theory’. Review of Symbolic Logic, vol 12., pp. 426-455
• Ladyman, J & Presnell, S, 2017, ‘Identity in homotopy type theory: Part II, the conceptual and philosophical status of identity in HoTT’. Philosophia Mathematica, vol 25., pp. 210-245
• Ladyman, J & Presnell, S, 2016, ‘Does Homotopy Type Theory Provide a Foundation for Mathematics?’. British Journal for the Philosophy of Science, vol 69., pp. 377-420
• Ladyman, J & Presnell, S, 2015, ‘Identity in homotopy type theory, part I: The justification of path induction’. Philosophia Mathematica, vol 23., pp. 386-406
• Ladyman, J, Presnell, S, McCabe, G, Eckstein, M & Szybka, S, 2015, ‘Road to Reality with Roger Penrose’. Copernicus Center Press, Krakow
• Ladyman, J & Presnell, S, 2014, ‘A Primer on Homotopy Type Theory: Part I.’.
• Ladyman, J, Presnell, S & Short, AJ, 2008, ‘The use of the information-theoretic entropy in thermodynamics’. Studies in History and Philosophy of Modern Physics, vol 39., pp. 315-324
• Ladyman, J, Presnell, S, Short, A & Groisman, B, 2007, ‘The connection between logical and thermodynamic irreversibility’. Studies in History and Philosophy of Modern Physics, vol 38., pp. 58 - 79
• Jozsa, R, Koashi, M, Linden, N, Popescu, S, Presnell, S, Shepherd, D & Winter, AT, 2003, ‘Entanglement cost of generalised measurements’. Quantum Information and Computation, vol 3., pp. 405 - 422

View complete publications list in the University of Bristol publications system