Coinductive streams in monoidal categories
autor
vastutusandmed
Elena Di Lavore, Giovanni de Felice, Mario Román
ajakirja aastakäik number kuu
vol. 21, 3
ilmumisaasta
leheküljed
p. 18:1–18:52 : ill
ISSN
1860-5974
märkused
Bibliogr. p. 18:48-8:52
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
klassifikaator
TTÜ struktuuriüksus
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.