James A C Ladyman – Research Outputs — University of Bristol

View Scopus Profile

EmailJames.Ladymanbristol.acuk

BS6 6JL

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

1 results

Filter

Other contribution

A Primer on Homotopy Type Theory: Part I.
Ladyman, J. & Presnell, S., 2014
Research output: Other contribution