Pages that link to "Item:Q2474057"
From MaRDI portal
The following pages link to Free-algebra models for the \(\pi \)-calculus (Q2474057):
Displaying 15 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)
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- Two cotensors in one: presentations of algebraic theories for local state and fresh names (Q2805171) (← links)
- Modeling fresh names in the {\(\pi\)}-calculus using abstractions (Q2847805) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)
- On universal algebra over nominal sets (Q3559973) (← links)
- (Q4362963) (← links)
- (Q4596786) (← links)
- Some explicit computations and models of free products (Q4917000) (← 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)
- Foundations of Software Science and Computational Structures (Q5705870) (← links)
- Foundations of Software Science and Computational Structures (Q5705887) (← links)