A decidable canonical representation of the compact elements in Scott's reflexive domain in P

DOI10.1016/S0304-3975(97)00038-8MaRDI QIDQ1127535zbMATH OpenFDO

Authors Thomas Drakengren

Publication date 13 August 1998

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

lambda calculuscompact elementscanonical representationreflexive domains

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Recommendations

• Uniqueness of Scott's reflexive domain in \(P\omega \)
• On the completeness of order-theoretic models of the \(\lambda \)-calculus
• scientific article; zbMATH DE number 742719
• scientific article; zbMATH DE number 39362

Cites work

• scientific article; zbMATH DE number 3648679 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• A Powerdomain Construction
• Data Types as Lattices
• Isomorphisms and nonisomorphisms of graph models
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Uniqueness of Scott's reflexive domain in \(P\omega \)

Cited in

(3)

• Fully abstract submodels of typed lambda calculi
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• Uniqueness of Scott's reflexive domain in \(P\omega \)

This page was built for publication: A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\)

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