Monoid structures on indexed containers
author
De Pascalis, Michele
Uustalu, Tarmo
Veltri, Niccolò
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
Open Publishing Association
year of publication
2025
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
url
https://doi.org/10.4204/EPTCS.430.4
subject term
monoidid
funktsionaalprogrammeerimine
tensorarvutus
teoreemid
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/pages/publications/105022888802?origin=resultslist
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001696440800010
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
functional programming
tensors
theorem proving
ISSN
2075-2180
notes
Bibliogr.: 27 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise