scientific article; zbMATH DE number 517040

zbMath0788.18003MaRDI QIDQ4282568

Michael B. Smyth, Abbas Edalat

Publication date: 2 June 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

initial algebraendofunctorsdomain equationsinformation category\(\omega\)-algebraic cpocategories of information systemscpo of morphismsordered hom-setsrecursive specification of types

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Continuous lattices and posets, applications (06B35)

Related Items (2)

I-categories as a framework for solving domain equations ⋮ Information categories

This page was built for publication: