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
ISSN
1860-5974
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
classifier
kvartiil
category (general)
TTÜ department
Reserch Group
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.