I-categories as a framework for solving domain equations
DOI10.1016/0304-3975(93)90056-YzbMATH Open0790.18003MaRDI QIDQ685401FDOQ685401
Authors: Abbas Edalat, Michael B. Smyth 
Publication date: 20 December 1993
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- The bicategory-theoretic solution of recursive domain equations
- A categorical approach to the theory of equations
- Solving equation systems in ω-categorical algebras
- scientific article; zbMATH DE number 3319584
- scientific article; zbMATH DE number 4077517
- scientific article; zbMATH DE number 4085874
- Solving reflexive domain equations in a category of complete metric spaces
- scientific article; zbMATH DE number 2222876
- The category-theoretic solution of recursive metric-space equations
- scientific article; zbMATH DE number 431772
information systemsinitial algebraScott domains\(I\)-categorycomplete partial ordercontinuous partial ordercontinuous Scott domainsdomain equationsfixed-point completion
Continuous lattices and posets, applications (06B35) Ordered structures (06F99) Semantics in the theory of computing (68Q55) Applications of universal algebra in computer science (08A70) Preorders, orders, domains and lattices (viewed as categories) (18B35)
Cites Work
- Continuous information systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Category-Theoretic Solution of Recursive Domain Equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Sequential algorithms on concrete data structures
- Effectively given domains
- Universal profinite domains
- Title not available (Why is that?)
Cited In (6)
This page was built for publication: I-categories as a framework for solving domain equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685401)
