scientific article; zbMATH DE number 1497869

zbMath0963.18003MaRDI QIDQ4499300

James Worrell

Publication date: 5 March 2001

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

zbMATH Keywords

recursive data typescategories of partial orderscoinduction theoremsfinal coalgebras of endofunctors

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items

Behavioural differential equations: a coinductive calculus of streams, automata, and power series ⋮ Relation lifting, a survey ⋮ The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata ⋮ On the Logic of Generalised Metric Spaces ⋮ Extending set functors to generalised metric spaces ⋮ Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic