The following pages link to (Q4417837):
Displaying 7 items.
- Dijkstra and Hoare monads in monadic computation (Q890377) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Monad-independent Dynamic Logic in HasCasl (Q4823808) (← links)
- Algebraic Methodology and Software Technology (Q5312999) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900835) (← links)