scientific article
From MaRDI portal
Publication:3946206
zbMath0486.06003MaRDI QIDQ3946206
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
program semanticsfiltered colimitscountable ascending chainsepi-mono factorization systemsomega complete partially ordered setomega-continuous operations
Partial orders, general (06A06) Complete lattices, completions (06B23) Specification and verification (program logics, model checking, etc.) (68Q60) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)
Related Items (7)
On P-dominions of continuous algebras ⋮ Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ A Denotational Semantic Theory of Concurrent Systems ⋮ Varieties of chain-complete algebras ⋮ Epis need not be dense ⋮ Tail recursion through universal invariants ⋮ Order completion monads
This page was built for publication:
