Coinductive streams in monoidal categories
autor
Di Lavore, Elena
De Felice, Giovanni
Roman Garcia, Mario
vastutusandmed
Elena Di Lavore, Giovanni de Felice, Mario Román
allikas
Logical methods in computer science
ajakirja aastakäik number kuu
vol. 21, 3
ilmumisaasta
2025
leheküljed
p. 18:1–18:52 : ill
leitav
https://doi.org//10.46298/LMCS-21(3:18)2025
märksõna
monoidid
kategooriad (matemaatika)
võtmesõna
Logic in Computer Science
Category Theory
ISSN
1860-5974
märkused
Bibliogr. p. 18:48-8:52
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise