The following pages link to Continuous information systems (Q1260646):
Displaying 28 items.
- Re-visiting axioms of information systems (Q259056) (← links)
- Representations of algebraic domains and algebraic L-domains by information systems (Q276406) (← links)
- A note on finitely derived information systems (Q276427) (← links)
- Formal contexts for algebraic domains (Q276430) (← links)
- Two Cartesian closed categories of information algebras (Q473187) (← links)
- Comparing models of the intensional typed \(\lambda\)-calculus (Q671646) (← links)
- I-categories as a framework for solving domain equations (Q685401) (← links)
- Generalised information systems capture L-domains (Q831140) (← links)
- A representation of L-domains by information systems (Q896923) (← links)
- Information systems revisited -- the general continuous case (Q949623) (← links)
- Information categories (Q1320330) (← links)
- A note on injective spaces. (Q1426505) (← links)
- Weak algebraic information systems and a new equivalent category of DOM of domains (Q1727992) (← links)
- Information systems for continuous semi-lattices (Q2123056) (← links)
- Representations of stably continuous semi-lattices by information systems and abstract bases (Q2224847) (← links)
- A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis (Q2302786) (← links)
- A categorical representation of algebraic domains based on variations of rough approximable concepts (Q2353995) (← links)
- Information systems for continuous posets (Q2367538) (← links)
- Some categorical aspects of information systems and domains (Q2432574) (← links)
- The categorical equivalence between domains and interpolative generalized closure spaces (Q2698278) (← links)
- Representation of algebraic domains by formal association rule systems (Q2971115) (← links)
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic (Q4382500) (← links)
- A remark on the theory of semi-functors (Q4847309) (← links)
- Continuous Domains and their Information System Representation as Logical Systems (Q4916204) (← links)
- A representation of proper BC domains based on conjunctive sequent calculi (Q5220179) (← links)
- Various Constructions of Continuous Information Systems (Q5415627) (← links)
- A generalization of de Vries duality to closed relations between compact Hausdorff spaces (Q6113249) (← links)
- A note on information systems for continuous semi-lattices (Q6548962) (← links)
