Colin Zwanziger: Publications - PhilPeople

161

Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy (review)
with A. Klev

History and Philosophy of Logic 44 (3): 337-342. 2022.

1. The theory referred to by the—perhaps intimidating—main title of this book is an extension of Per Martin-Löf's dependent type theory. Much philosophical work pertaining to dependent type theory...

Modal and Intensional Logic Mathematical Logic Type Theory in Mathematics