Constructing higher inductive types as groupoid quotients

statement of authorship
Niccolò Veltri, Niels van der Weide
journal volume number month
vol. 17, 2
year of publication
pages
p. 8:1−8:42
keyword
higher inductive types
Coq
bicategories
ISSN
1860-5974
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
category (general)
kvartiil
Q2
TTÜ department
language
inglise
Veltri, N., van der Weide, N. Constructing higher inductive types as groupoid quotients // Logical methods in computer science (2021) vol. 17, 2, p. 8:1−8:42. https://doi.org/10.23638/LMCS-17(2:8)2021