Browse/search for people

Publication - Dr Stuart Presnell

    Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT

    Citation

    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

    Full details in the University publications repository