The following pages link to (Q4364395):
Displaying 7 items.
- Modelling environments in call-by-value programming languages. (Q1427853) (← links)
- Premonoidal categories as categories with algebraic structure (Q1605185) (← links)
- Equilogical spaces and algebras for a double-power monad (Q1683371) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- On the semantics of parsing actions (Q2441511) (← links)
- Models for the computational λ-calculus (Q4923379) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)
