Type-theoretic constructions of the final coalgebra of the finite powerset functor
autor
Veltri, Niccolo
vastutusandmed
Veltri, Niccolò
allikas
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
ilmumiskoht
Dagstuhl, Germany
kirjastus/väljaandja
Schloss Dagstuhl
ilmumisaasta
2021
leheküljed
p. 22:1-22:18
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 213
konverentsi nimetus, aeg
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science ; December 15–17, 2021
konverentsi toimumispaik
Virtual Conference
leitav
https://doi.org/10.4230/LIPIcs.FSCD.2021.22
märksõna
tüübiteooria
astmeread
algebra
Scopus
Conference Proceedings at Scopus
Article at Scopus
kvartiil
Q3
kategooria (üld)
Computer science
en
Arvutiteadus
et
kategooria (alam)
Computer science. Software
en
Arvutiteadus. Tarkvara
et
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
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium