Paper: Sequential Colimits in Homotopy Type Theory (at LICS 2020)
Authors: Kristina Sojakova Floris van Doorn Egbert Rijke
Abstract
No Abstract Available
BibTeX
@InProceedings{SojakovaDoornRijke-SequentialColimitsi, author = {Kristina Sojakova and Floris van Doorn and Egbert Rijke}, title = {Sequential Colimits in Homotopy Type Theory}, booktitle = {Proceedings of the Thirty fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2020)}, year = {2020}, month = {July}, pages = {845--858}, location = {Saarbrucken, Germany}, publisher = {IEEE Computer Society Press} }