Does Homotopy Type Theory Provide a Foundation for Mathematics?

James Ladyman, Stuart Presnell

Department of Philosophy

Research output: Contribution to journal › Article (Academic Journal) › peer-review

9 Citations (Scopus)

1 results
- Last Name(descending)

Professor James A C Ladyman
- James.Ladymanbristol.acuk
- Department of Philosophy - Professor
Person: Academic