Monoid structures on indexed containers
author
compiler
Barbosa, Haniel; Ringeissen, Christophe
statement of authorship
Michele De Pascalis, Tarmo Uustalu, Niccolò Veltrì
source
Proceedings of the 20th International Symposium on Logical and Semantic Frameworks, with Applications, LSFA 2025, Brasília, Brazil, 6-11 October 2025
location of publication
Sydney
publisher
year of publication
pages
p. 37-54
series
Electronic proceedings in theoretical computer science ; 430
conference name, date
20th International Symposium on Logical and Semantic Frameworks, with Applications, LSFA 2025, 6-11 October 2025
conference location
Brasília, Brazil
ISSN
2075-2180
notes
Bibliogr.: 27 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
keyword
category (general)
category (sub)
De Pascalis, M., Uustalu, T., Veltri, N. Monoid structures on indexed containers // Proceedings of the 20th International Symposium on Logical and Semantic Frameworks, with Applications, LSFA 2025, Brasília, Brazil, 6-11 October 2025. Sydney : Open Publishing Association, 2025. p. 37-54. (Electronic proceedings in theoretical computer science ; 430).