Towards a geometric model theory of type theory
Author: Eric Faber
Paper Information
| Title: | Towards a geometric model theory of type theory |
| Authors: | Eric Faber |
| Proceedings: | HoTT/UF Abstracts |
| Editors: | Benedikt Ahrens, Simon Huber and Anders Mörtberg |
| Keywords: | type theory, topos theory, geometric logic, cubical sets, simplicial sets |
| Abstract: | ABSTRACT. |
| Pages: | 2 |
| Paper: |  |