Dependent Right Adjoint Types
Authors: Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Møgelberg, Andrew Pitts and Bas Spitters
Paper Information
| Title: | Dependent Right Adjoint Types |
| Authors: | Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Møgelberg, Andrew Pitts and Bas Spitters |
| Proceedings: | HoTT/UF Abstracts |
| Editors: | Benedikt Ahrens, Simon Huber and Anders Mörtberg |
| Keywords: | Modal type theory, Homotopy type theory, Cubical type theory, Categorical models |
| Abstract: | ABSTRACT. |
| Pages: | 2 |
| Talk: | Jul 07 12:00 (Session 26F) |
| Paper: |  |