The following pages link to (Q4028343):
Displaying 13 items.
- VDM semantics of programming languages: Combinators and monads (Q539163) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Monads and algebras in the semantics of partial data types (Q1193894) (← links)
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- Lifting results for categories of algebras (Q1605183) (← links)
- Theoretical aspects of structured-modular composition programming: Algebra of morphisms (Q1842423) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- Two cotensors in one: presentations of algebraic theories for local state and fresh names (Q2805171) (← links)
- Computational Semantics for Monadic Quantifiers (Q4236059) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- Quantifiers on languages and codensity monads (Q5144687) (← links)
- Lifting theorems for Kleisli categories (Q5890054) (← links)