Uniqueness of Scott's reflexive domain in P

DOI10.1016/0304-3975(96)00102-8MaRDI QIDQ672137zbMATH OpenOpenAlexFDO

Authors Thomas Drakengren

Publication date 27 February 1997

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

Full work available at URL https://doi.org/10.1016/0304-3975(96)00102-8

zbMATH Keywords

codings of the \(P\omega\) modelextensional model in \(P\omega\)pure \(\lambda\)-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)

Recommendations

• A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\)
• On the completeness of order-theoretic models of the \(\lambda \)-calculus
• scientific article; zbMATH DE number 794258
• Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle
• On functions preserving levels of approximation: A refined model construction for various lambda calculi

Cites work

• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• Data Types as Lattices
• Isomorphisms and nonisomorphisms of graph models
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• The lambda calculus, its syntax and semantics
• Uniqueness of Scott's reflexive domain in \(P\omega \)

Cited in

(4)

• Uniqueness of Scott's reflexive domain in \(P\omega \)
• A coinductive completeness proof for the equivalence of recursive types
• scientific article; zbMATH DE number 39362 (Why is no real title available?)
• A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\)

This page was built for publication: Uniqueness of 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 Q672137)