The following pages link to (Q2769437):
Displaying 6 items.
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- Generalizing Substitution (Q4460688) (← links)
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers (Q6612803) (← links)
- Monoidal streams for dataflow programming (Q6649486) (← links)