Constructing higher inductive types as groupoid quotients

vastutusandmed
Niccolò Veltri, Niels van der Weide
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 17, 2
ilmumisaasta
leheküljed
p. 8:1−8:42
võtmesõna
higher inductive types
Coq
bicategories
ISSN
1860-5974
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kategooria (üld)
kvartiil
Q2
TTÜ struktuuriüksus
keel
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