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

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
ISSN
1868-8969
ISBN
978-3-95977-215-0
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
keyword
type theory
finite powerset
category (general)
category (sub)
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