Pages that link to "Item:Q1391859"
From MaRDI portal
The following pages link to A representable approach to finite nondeterminism (Q1391859):
Displaying 5 items.
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- Premonoidal categories as categories with algebraic structure (Q1605185) (← links)
- Semantics for Algebraic Operations (Q4917064) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
