Cubical Computational Type Theory and RedPRL
Author: Kuen-Bang Hou
Paper Information
| Title: | Cubical Computational Type Theory and RedPRL |
| Authors: | Kuen-Bang Hou |
| Proceedings: | LFMTP Regular papers |
| Editors: | Giselle Reis and Frédéric Blanqui |
| Keywords: | |
| Abstract: | |
| Pages: | 1 |
| Paper: |  |