Coinductive streams in monoidal categories
author
statement of authorship
Elena Di Lavore, Giovanni de Felice, Mario Román
journal volume number month
vol. 21, 3
year of publication
pages
p. 18:1–18:52 : ill
ISSN
1860-5974
notes
Bibliogr. p. 18:48-8:52
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
subject term
classifier
TalTech department
Di Lavore, E., De Felice, G., Roman, M. Coinductive streams in monoidal categories // Logical methods in computer science (2025) vol. 21, 3, p. 18:1–18:52 : ill.