The following pages link to Domain theory in logical form (Q1174593):
Displayed 50 items.
- Clausal logic and logic programming in algebraic domains (Q1854478) (← links)
- Reasoning with power defaults (Q1882904) (← links)
- Infinite intersection types (Q1887155) (← links)
- A rational reconstruction of the domain of feature structures (Q1903084) (← links)
- Data refinement, call by value and higher order programs (Q1906039) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797) (← links)
- A logic for Lawson compact algebraic L-domains (Q1989346) (← links)
- A categorical duality for algebras of partial functions (Q2031546) (← links)
- Continuous L-domains in logical form (Q2041961) (← links)
- Announcement as effort on topological spaces (Q2053358) (← links)
- Bounded complete domains and their logical form (Q2105444) (← links)
- A duality theoretic view on limits of finite structures (Q2200829) (← links)
- The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
- Bitopological duality for algebras of Fitting's logic and natural duality extension (Q2231653) (← links)
- Anatomy of a domain of continuous random variables. I (Q2253185) (← links)
- Information systems for continuous posets (Q2367538) (← links)
- Easiness in graph models (Q2368937) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- A topological approach to full belief (Q2421518) (← links)
- Quantitative information flow as safety and liveness hyperproperties (Q2453117) (← links)
- Logical equivalence for subtyping object and recursive types (Q2481559) (← links)
- Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033) (← links)
- A domain equation for bisimulation (Q2639646) (← links)
- Implication via spacetime (Q2658280) (← links)
- Remarks on hyperspaces for Priestley spaces (Q2680995) (← links)
- On the geometry of physical measurements: topological and algebraic aspects (Q2684760) (← links)
- Stone duality for spectral sheaves and the patch monad (Q2689181) (← links)
- The categorical equivalence between domains and interpolative generalized closure spaces (Q2698278) (← links)
- Abstract Interpretation From a Denotational-semantics Perspective (Q2805148) (← links)
- Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting (Q2805159) (← links)
- Logical Semantics for Stability (Q2805169) (← links)
- A Fully Abstract Model for Mobile Ambients (Q2841277) (← links)
- Simple Easy Terms (Q2842831) (← links)
- Subtyping in Logical Form (Q2842836) (← links)
- Definability and Full Abstraction (Q2864154) (← links)
- Functorial Coalgebraic Logic: The Case of Many-sorted Varieties (Q2873668) (← links)
- A Duality Theorem for Real C * Algebras (Q2888494) (← links)
- Typing Weak MSOL Properties (Q2949449) (← links)
- Can a Quantum Computer Run the von Neumann Architecture? (Q3000932) (← links)
- A Filter Model for the λμ-Calculus (Q3007668) (← links)
- Abstract Interpretation from a Topological Perspective (Q3392931) (← links)
- Exploring Theories with a Model-Finding Assistant (Q3454114) (← links)
- Graph lambda theories (Q3535680) (← links)
- Bitopological duality for distributive lattices and Heyting algebras (Q3564341) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- A Duality for Algebras of Lattice-Valued Modal Logic (Q3638290) (← links)
- (Q3986546) (← links)
- Quantales, observational logic and process semantics (Q4279244) (← links)
- (Q4389696) (← links)