scientific article
From MaRDI portal
Publication:3698294
zbMath0577.68035MaRDI QIDQ3698294
Rod M. Burstall, David E. Rydeheard
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
category theorymonadsproof rulessemantics of programsiterative programsproofs of correctnessprogramming constructs
Specification and verification (program logics, model checking, etc.) (68Q60) 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)
Related Items (4)
Unique-sort order-sorted theories : A description as monad morphisms ⋮ Unnamed Item ⋮ 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
This page was built for publication:
