Type-theoretic constructions of the final coalgebra of the finite powerset functor

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
kvartiil
Q3
kategooria (üld)
kategooria (alam)
võtmesõna
type theory
finite powerset
final coalgebra
Cubical Agda
ISSN
1868-8969
ISBN
978-3-95977-215-0
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
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). https://doi.org/10.4230/LIPIcs.FSCD.2021.22