scientific article; zbMATH DE number 3924120

MaRDI QIDQ3698294zbMATH OpenFDO

Authors David Rydeheard, Rod Burstall

Publication date 1985

zbMATH Keywords

category theoryiterative programsmonadsprogramming constructsproof rulesproofs of correctnesssemantics of programs

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 139984
• scientific article; zbMATH DE number 2087441
• scientific article; zbMATH DE number 2068087
• Notions of computation as monoids
• scientific article; zbMATH DE number 2156365

Cited in

(17)

• Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• Monad as modality
• Laws of monadic error handling
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 4179373 (Why is no real title available?)
• Monadic maps and folds for multirelations in an allegory
• Implementing collection classes with monads
• scientific article; zbMATH DE number 2068087 (Why is no real title available?)
• scientific article; zbMATH DE number 1522507 (Why is no real title available?)
• scientific article; zbMATH DE number 2156365 (Why is no real title available?)
• scientific article; zbMATH DE number 2086588 (Why is no real title available?)
• scientific article; zbMATH DE number 7324076 (Why is no real title available?)
• Unique-sort order-sorted theories : A description as monad morphisms
• Rod Burstall: in memoriam (1934--2025)
• Dijkstra and Hoare monads in monadic computation
• The proof monad

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3698294)