Journal article

Coinductive Streams in Monoidal Categories

Abstract:: 5555 - ASP-Randour - ControlleRS - Fédération Wallonie Bruxelles5727 - PDR-Randour - ControlleRS3284 - CQ-Randour - ManySynth - Fédération Wallonie Bruxelle

Publication status:: Published

Peer review status:: Peer reviewed

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Share
Cite

Cite this record

APA Style

Di Lavore, E., De Felice, G., & Román, M. (2025). Coinductive Streams in Monoidal Categories. Logical Methods in Computer Science, Volume 21, Issue 3(3).

MLA Style

Di Lavore, E, et al. “Coinductive Streams in Monoidal Categories.” Logical Methods in Computer Science, Volume 21, Issue 3, no. 3, 2025.

Chicago Style

Di Lavore, E, G De Felice, and M Román. 2025. “Coinductive Streams in Monoidal Categories.” Logical Methods in Computer Science Volume 21, Issue 3 (3).
Print

Access Document

Files:: Di_Lavore_et_al_2025_Coinductive_Streams_in.pdf

(Preview, Version of record, pdf, 735.2KB, Terms of use)

Publisher copy:: 10.46298/lmcs-21(3:18)2025

Authors

+ Di Lavore, E More by this author

Institution:: University of Oxford
Role:: Author
ORCID:: 0000-0002-7783-5079

+ De Felice, G More by this author

Role:: Author
ORCID:: 0009-0001-5222-6824

+ Román, M More by this author

Role:: Author
ORCID:: 0000-0003-3158-1226

Publisher:: Logical Methods in Computer Science
Journal:: Logical Methods in Computer Science More from this journal
Volume:: Volume 21, Issue 3
Issue:: 3
Publication date:: 2025-08-12
DOI:: 10.46298/lmcs-21(3:18)2025
EISSN:: 1860-5974
ISSN:: 1860-5974

Language:: English
Keywords:: Functor

Dataflow

Semantics (computer science)

Coinduction

Discrete mathematics

Programming language

Computer science

Mathematics

Symmetric monoidal category

Closed monoidal category

Cartesian closed category

Theoretical computer science
Pubs id:: 2284072
Local pid:: pubs:2284072
Source identifiers:: W4413202203
Deposit date:: 2026-02-15
ARK identifier:: ark:/29072/ora_887db097b87449ee896430c289f85cb3

Terms of use

Copyright date:: 2025

Licence:: CC Attribution (CC BY)

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP