Constructive final semantics of finite bags
author
Joram, Philipp
Veltri, Niccolò
statement of authorship
Philipp Joram, Niccolò Veltri
source
14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 2023
location of publication
Wadern
publisher
Dagstuhl Publishing
year of publication
2023
pages
art. 20, 19 p
series
Leibniz international proceedings in informatics (LIPIcs) ; 268
conference name, date
14th International Conference on Interactive Theorem Proving, ITP 2023, 31 July - 4 August 2023
conference location
Bialystok, Poland
url
https://doi.org/10.4230/LIPIcs.ITP.2023.20
subject term
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
quartile
Q2
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
Cubical Agda
final coalgebra
finite bags
homotopy type theory
ISSN
1868-8969
ISBN
978-395977284-6
notes
Bibliogr.: 34 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise