Modal Types
| Autor: | Corfield, David, author |
|---|---|
| Zdroj: | Modal Homotopy Type Theory : The Prospect of a New Logic for Philosophy, 2020. |
| Databáze: | Oxford Scholarship Online |
| Externí odkaz: |
|
| Autor: | Corfield, David, author |
|---|---|
| Zdroj: | Modal Homotopy Type Theory : The Prospect of a New Logic for Philosophy, 2020. |
| Databáze: | Oxford Scholarship Online |
| Externí odkaz: |
|