Pages that link to "Item:Q2474057"
From MaRDI portal
The following pages link to Free-algebra models for the \(\pi \)-calculus (Q2474057):
Displayed 6 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Notions of Lawvere theory (Q633806) (← links)
- Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names (Q2805171) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)
- On universal algebra over nominal sets (Q3559973) (← links)