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
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85115213929&origin=inward&txGid=03a7f4d27c53ac7e3d30364299fe4123
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
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