Paper: Normalization for Cubical Type Theory (at LICS 2021)
Authors: Jonathan Sterling Carlo Angiuli
Abstract
No Abstract Available
BibTeX
@InProceedings{SterlingAngiuli-NormalizationforCub, author = {Jonathan Sterling and Carlo Angiuli}, title = {Normalization for Cubical Type Theory}, booktitle = {Proceedings of the Thirty sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2021)}, year = {2021}, month = {June}, pages = {1--15}, location = {Rome, Italy}, publisher = {IEEE Computer Society Press} }