Coinductive Streams in Monoidal Categories
We introduce monoidal streams. Monoidal streams are a generalization of causal stream functions, which can be defined in cartesian monoidal categories, to arbitrary symmetric monoidal categories. In the same way that streams provide semantics to dataflow programming with pure functions, monoidal str...
Shranjeno v:
| Principais autores: | , , |
|---|---|
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
Logical Methods in Computer Science e.V.
2025-08-01
|
| Serija: | Logical Methods in Computer Science |
| Teme: | |
| Online dostop: | http://lmcs.episciences.org/10759/pdf |
| Oznake: |
Brez oznak, prvi označite!
|