Journals Higher Education
Important OUP's Response to COVID-19 Learn more



Published: 06 February 2020

192 Pages


ISBN: 9780198853404

Also Available As:


Also Available In:

Bookseller Code (AJ)

Modal Homotopy Type Theory

The Prospect of a New Logic for Philosophy

David Corfield

  • The first book-length philosophical treatment of homotopy type theory, and its modal variants
  • With applications in language, metaphysics and mathematics, the reader is shown the power of the new language
  • Written in an accessible and conversational tone, allowing for ease of understanding