Type-theoretic constructions of the final coalgebra of the finite powerset functor
author
statement of authorship
Veltri, Niccolò
location of publication
Dagstuhl, Germany
publisher
year of publication
pages
p. 22:1-22:18
conference name, date
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science ; December 15–17, 2021
conference location
Virtual Conference
subject term
kvartiil
category (general)
category (sub)
keyword
type theory
finite powerset
final coalgebra
Cubical Agda
ISSN
1868-8969
ISBN
978-3-95977-215-0
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
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).