Browse/search for people

Publication - Professor James Ladyman

    Does Homotopy Type Theory Provide a Foundation for Mathematics?

    Citation

    Ladyman, J & Presnell, S, 2017, ‘Does Homotopy Type Theory Provide a Foundation for Mathematics?’. British Journal for the Philosophy of Science.

    Full details in the University publications repository