Monoid structures on indexed containers
autor
koostaja
Barbosa, Haniel; Ringeissen, Christophe
vastutusandmed
Michele De Pascalis, Tarmo Uustalu, Niccolò Veltrì
allikas
Proceedings of the 20th International Symposium on Logical and Semantic Frameworks, with Applications, LSFA 2025, Brasília, Brazil, 6-11 October 2025
ilmumiskoht
Sydney
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 37-54
seeria-sari
Electronic proceedings in theoretical computer science ; 430
konverentsi nimetus, aeg
20th International Symposium on Logical and Semantic Frameworks, with Applications, LSFA 2025, 6-11 October 2025
konverentsi toimumispaik
Brasília, Brazil
ISSN
2075-2180
märkused
Bibliogr.: 27 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
võtmesõna
kategooria (üld)
kategooria (alam)
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).