Constructive final semantics of finite bags
autor
Joram, Philipp
Veltri, Niccolò
vastutusandmed
Philipp Joram, Niccolò Veltri
allikas
14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 2023
ilmumiskoht
Wadern
kirjastus/väljaandja
Dagstuhl Publishing
ilmumisaasta
2023
leheküljed
art. 20, 19 p
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 268
konverentsi nimetus, aeg
14th International Conference on Interactive Theorem Proving, ITP 2023, 31 July - 4 August 2023
konverentsi toimumispaik
Bialystok, Poland
leitav
https://doi.org/10.4230/LIPIcs.ITP.2023.20
märksõna
algebra
homotoopiateooria
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85168772131&origin=inward&txGid=5c7420f11f6482da438fddb2618e6928
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
Cubical Agda
final coalgebra
finite bags
homotopy type theory
ISSN
1868-8969
ISBN
978-395977284-6
märkused
Bibliogr.: 34 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise