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

DOI10.1016/S0304-3975(97)00038-8zbMATH Open0908.03021MaRDI QIDQ1127535FDOQ1127535

Authors: Thomas Drakengren 

Publication date: 13 August 1998

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

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

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)

Cites Work

• Title not available (Why is that?)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Data Types as Lattices
• Title not available (Why is that?)
• A Powerdomain Construction
• Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
• Title not available (Why is that?)
• 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 (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)