Dr Stuart M Presnell

M.Phys.(Warw.)

  • BS6 6JL

20032019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

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

Fingerprint Dive into the research topics where Stuart M Presnell is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles

Research Output

  • 9 Article (Academic Journal)
  • 1 Edited book
  • 1 Other contribution

The Hole Argument in Homotopy Type Theory

Ladyman, J. & Presnell, S., 4 Oct 2019, In : Foundations of Physics. 11 p.

Research output: Contribution to journalArticle (Academic Journal)

Open Access
File
  • 89 Downloads (Pure)

    Universes and Univalence in Homotopy Type Theory

    Ladyman, J. & Presnell, S., Sep 2019, In : Review of Symbolic Logic. 12, 3, p. 426-455 30 p.

    Research output: Contribution to journalArticle (Academic Journal)

    Open Access
    File
  • 185 Downloads (Pure)

    Identity in homotopy type theory: Part II, the conceptual and philosophical status of identity in HoTT

    Ladyman, J. & Presnell, S., 1 Jun 2017, In : Philosophia Mathematica. 25, 2, p. 210-245 36 p.

    Research output: Contribution to journalArticle (Academic Journal)

    Open Access
    File
  • 2 Citations (Scopus)
    279 Downloads (Pure)