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...
Պահպանված է:
| Հիմնական հեղինակներ: | , , |
|---|---|
| Ձևաչափ: | Artigo |
| Լեզու: | Inglês |
| Հրապարակվել է: |
Logical Methods in Computer Science e.V.
2025-08-01
|
| Շարք: | Logical Methods in Computer Science |
| Խորագրեր: | |
| Առցանց հասանելիություն: | http://lmcs.episciences.org/10759/pdf |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|