Dijkstra Monads in Monadic Computation

DOI10.1007/978-3-662-44124-4_8zbMath1331.68052OpenAlexW198993984MaRDI QIDQ2942780

Bart Jacobs

Publication date: 11 September 2015

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44124-4_8

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (3)

The expectation monad in quantum foundations ⋮ Total and Partial Computation in Categorical Quantum Foundations ⋮ Dijkstra and Hoare monads in monadic computation

Uses Software

• Ynot

This page was built for publication: Dijkstra Monads in Monadic Computation