The definitional symmetric cubical structure of types in type theory with equality defined by abstraction over an interval
Author: Hugo Herbelin
Paper Information
| Title: | The definitional symmetric cubical structure of types in type theory with equality defined by abstraction over an interval |
| Authors: | Hugo Herbelin |
| Proceedings: | HoTT/UF Abstracts |
| Editors: | Benedikt Ahrens, Simon Huber and Anders Mörtberg |
| Keywords: | cubical sets, equality by abstraction over an interval, cubical type theory |
| Abstract: | ABSTRACT. |
| Pages: | 2 |
| Talk: | Jul 08 14:30 (Session 40H) |
| Paper: |  |