Operational domain theory and topology of sequential programming languages

DOI10.1016/j.ic.2008.12.003zbMath1263.68104OpenAlexW2141746484MaRDI QIDQ1013087

Weng Kin Ho, Martín Hötzel Escardó

Publication date: 16 April 2009

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2008.12.003

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (5)

On the Versatility of Open Logical Relations ⋮ On naturally continuous non-dcpo domains ⋮ An operational domain-theoretic treatment of recursive types ⋮ Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting ⋮ The extensional ordering of the sequential functionals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Domain theory in logical form
• LCF considered as a programming language
• Fully abstract models of typed \(\lambda\)-calculi
• Topology, domain theory and theoretical computer science
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Bisimilarity as a theory of functional programming
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• From operational semantics to domain theory
• Interdefinability of parallel operations in PCF
• Computability and totality in domains
• Local realizability toposes and a modal logic for computability
• The Role of Compactness in Analysis
• Domain-Theoretic Foundations of Functional Programming
• Data Types as Lattices
• On the computational content of the axiom of choice
• Full abstraction, totality and PCF
• Tychonoff's Theorem
• A note on logical relations between semantics and syntax
• Computability over the partial continuous functionals
• Continuous Lattices and Domains
• On sequential functionals of type 3
• Finitary PCF is not decidable

This page was built for publication: Operational domain theory and topology of sequential programming languages