An operational domain-theoretic treatment of recursive types

DOI10.1017/S0960129512001004MaRDI QIDQ5740347zbMATH OpenFDO

Authors Weng Kin Ho

Publication date 26 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• An operational domain-theoretic treatment of recursive types
• Relational interpretations of recursive types in an operational setting.
• Operational domain theory and topology of sequential programming languages
• From operational semantics to domain theory
• scientific article; zbMATH DE number 16188

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• A mathematical semantics for a nondeterministic typed lambda-calculus
• From operational semantics to domain theory
• Games and full abstraction for FPC.
• LCF considered as a programming language
• Operational domain theory and topology of sequential programming languages
• Propositional dynamic logic of regular programs
• Proving congruence of bisimulation in functional programming languages
• Relational interpretations of recursive types in an operational setting.
• Relational properties of domains
• Results on the propositional \(\mu\)-calculus

Cited in

(7)

• scientific article; zbMATH DE number 7168147 (Why is no real title available?)
• scientific article; zbMATH DE number 179038 (Why is no real title available?)
• Denotational semantics of recursive types in synthetic guarded domain theory
• Relational interpretations of recursive types in an operational setting.
• An operational domain-theoretic treatment of recursive types
• scientific article; zbMATH DE number 1251179 (Why is no real title available?)
• Operational domain theory and topology of sequential programming languages

This page was built for publication: An operational domain-theoretic treatment of recursive types

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