Publication:3946206
From MaRDI portal
zbMath0486.06003MaRDI QIDQ3946206
Publication date: 1981
program semantics; filtered colimits; countable ascending chains; epi-mono factorization systems; omega complete partially ordered set; omega-continuous operations
06A06: Partial orders, general
06B23: Complete lattices, completions
68Q60: Specification and verification (program logics, model checking, etc.)
18A32: Factorization systems, substructures, quotient structures, congruences, amalgams
Related Items
Tail recursion through universal invariants, Order completion monads, On P-dominions of continuous algebras, Varieties of chain-complete algebras, Epis need not be dense