Internalizing Presheaf Semantics: Charting the Design Space
Authors: Andreas Nuyts and Dominique Devriese
Paper Information
| Title: | Internalizing Presheaf Semantics: Charting the Design Space |
| Authors: | Andreas Nuyts and Dominique Devriese |
| Proceedings: | HoTT/UF Abstracts |
| Editors: | Benedikt Ahrens, Simon Huber and Anders Mörtberg |
| Keywords: | presheaf models, internal parametricity, proof of univalence |
| Abstract: | ABSTRACT. |
| Pages: | 3 |
| Talk: | Jul 07 11:00 (Session 26F) |
| Paper: |  |