Type-theoretic constructions of the final coalgebra of the finite powerset functor
autor
vastutusandmed
Veltri, Niccolò
ilmumiskoht
Dagstuhl, Germany
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 22:1-22:18
konverentsi nimetus, aeg
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science ; December 15–17, 2021
konverentsi toimumispaik
Virtual Conference
ISSN
1868-8969
ISBN
978-3-95977-215-0
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
kategooria (üld)
kategooria (alam)
Uurimisrühm
Veltri, N. Type-theoretic constructions of the final coalgebra of the finite powerset functor // 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). Dagstuhl, Germany : Schloss Dagstuhl, 2021. p. 22:1-22:18. (Leibniz international proceedings in informatics (LIPIcs) ; 213).