Paper: Constructing Higher Inductive Types as Groupoid Quotients (at LICS 2020)
Authors: Niels van der Weide
Abstract
No Abstract Available
BibTeX
@InProceedings{Weide-ConstructingHigherI, author = {Niels van der Weide}, title = {Constructing Higher Inductive Types as Groupoid Quotients}, booktitle = {Proceedings of the Thirty fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2020)}, year = {2020}, month = {July}, pages = {929--943}, location = {Saarbrucken, Germany}, publisher = {IEEE Computer Society Press} }