Modal Homotopy Type Theory
The Prospect of a New Logic for Philosophy
Bibliographic Data
| ID | 6527816 |
|---|---|
| Authors | David Corfield (0000-0003-0432-3221) |
| Year | 2020 |
| Pages | 192 |
| Publication date | 2020-01-01 |
| Open Access | No |
| Type | BOOK |
| Venue | Modal Homotopy Type Theory (SOURCE_BOOK) |
| Publisher | Oxford University Press (PUBLISHER • GB) |
| OpenAlex | W2900420380 |
| ISBN | 9780198853404 |
| Open Library | OL29461211M |
| Language | EN |
Algebra over a field · Calculus (dental) · Modal · Modal logic · Pure mathematics · Type (biology) · Type theory · History and Theory of Mathematics · Mathematics · Philosophy and Theoretical Science · Philosophy, Science, and History · Homotopietheorie · Homotopy theory · Logik · Mathematik · Philosophy
| Highly cited | No |
|---|