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
märksõna
võtmesõna
ISSN
1860-5974
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
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