Coinductive streams in monoidal categories
author
Di Lavore, Elena
De Felice, Giovanni
Roman Garcia, Mario
statement of authorship
Elena Di Lavore, Giovanni de Felice, Mario Román
source
Logical methods in computer science
journal volume number month
vol. 21, 3
year of publication
2025
pages
p. 18:1–18:52 : ill
url
https://doi.org//10.46298/LMCS-21(3:18)2025
subject term
monoidid
kategooriad (matemaatika)
keyword
Logic in Computer Science
Category Theory
ISSN
1860-5974
notes
Bibliogr. p. 18:48-8:52
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
TalTech department
tarkvarateaduse instituut
language
inglise