Pages that link to "Item:Q2474057"
From MaRDI portal
The following pages link to Free-algebra models for the \(\pi \)-calculus (Q2474057):
Displaying 8 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)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
