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