Modal homotopy type theory the prospect of a new logic for philosophy /
'Modal Homotopy Type Theory' provides a reasonably gentle introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts, and illustrated through innovative applications of the calculus.
| Main Author: | Corfield, David |
|---|---|
| Other Authors: | Oxford Scholarship Online. |
| Format: | eBook |
| Language: | English |
| Published: |
Oxford :
Oxford University Press,
2020.
|
| Physical Description: |
1 online resource : illustrations (black and white). |
| Edition: | First edition. |
| Series: |
Oxford scholarship online.
|
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |