Constructing higher inductive types as groupoid quotients
statement of authorship
Niccolò Veltri, Niels van der Weide
publisher
journal volume number month
vol. 17, 2
year of publication
pages
p. 8:1−8:42
subject term
keyword
ISSN
1860-5974
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
category (general)
kvartiil
TTÜ department
language
inglise
Uurimisrühm
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