full record print

Constructive final semantics of finite bags

author
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
year of publication
pages
art. 20, 19 p
series
conference name, date
14th International Conference on Interactive Theorem Proving, ITP 2023, 31 July - 4 August 2023
conference location
Bialystok, Poland
url
ISSN
1868-8969
ISBN
978-395977284-6
notes
Bibliogr.: 34 ref
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
category (general)
category (sub)
Joram, P., Veltri, N. Constructive final semantics of finite bags // 14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 2023. Wadern : Dagstuhl Publishing, 2023. art. 20, 19 p. (Leibniz international proceedings in informatics (LIPIcs) ; 268). https://doi.org/10.4230/LIPIcs.ITP.2023.20