(Truncated) Simplicial Models of Type Theory
Authors: Jonathan Weinberger and Ulrik Buchholtz
Paper Information
| Title: | (Truncated) Simplicial Models of Type Theory |
| Authors: | Jonathan Weinberger and Ulrik Buchholtz |
| Proceedings: | HoTT/UF Abstracts |
| Editors: | Benedikt Ahrens, Simon Huber and Anders Mörtberg |
| Keywords: | Simplicial Type Theory, Infinity-Categories, Complete Segal Spaces, Infinity-Presheaves |
| Abstract: | ABSTRACT. |
| Pages: | 2 |
| Talk: | Jul 08 16:00 (Session 42G) |
| Paper: |  |