Cubical Computational Type Theory
Authors: Kuen-Bang Hou Favonia, Carlo Angiuli, Evan Cavallo, Robert Harper and Jonathan Sterling
Paper Information
| Title: | Cubical Computational Type Theory |
| Authors: | Kuen-Bang Hou Favonia, Carlo Angiuli, Evan Cavallo, Robert Harper and Jonathan Sterling |
| Proceedings: | HoTT/UF Abstracts |
| Editors: | Benedikt Ahrens, Simon Huber and Anders Mörtberg |
| Keywords: | computational type theory, cubical type theory, Cartesian cubes, homotopy type theory |
| Abstract: | ABSTRACT. |
| Pages: | 2 |
| Talk: | Jul 08 14:00 (Session 40H) |
| Paper: |  |