-
66Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy (review)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...