Uniqueness of Scott's reflexive domain in P

DOI10.1016/0304-3975(96)00102-8zbMATH Open0873.03014OpenAlexW2063983720MaRDI QIDQ672137FDOQ672137

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

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

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)

Cites Work

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

Cited In (4)

• A coinductive completeness proof for the equivalence of recursive types
• A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\)
• Title not available (Why is that?)
• Uniqueness of 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)