scientific article; zbMATH DE number 1086664

MaRDI QIDQ4362914zbMATH OpenFDO

Authors Marcelo P. Fiore, Gordon D. Plotkin

Publication date 17 March 1998

zbMATH Keywords

ADTaxiomatic domain theorySDTsynthetic domain theory

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Recommendations

• Two models of synthetic domain theory
• scientific article; zbMATH DE number 1086725
• General synthetic domain theory – a logical approach

Cited in

(11)

• Axioms and (counter)examples in synthetic domain theory
• Computational adequacy for recursive types in models of intuitionistic set theory
• The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
• Domain extensions and higher-order syntactical interpretations
• scientific article; zbMATH DE number 19486 (Why is no real title available?)
• A synthetic theory of sequential domains
• Domains in \(H\)
• Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction
• Two models of synthetic domain theory
• Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
• Two-dimensional Kripke semantics. II: Stability and completeness

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4362914)