Uniqueness of Scott's reflexive domain in \(P\omega \)
type: Item
instance of: scholarly article
title: Uniqueness of Scott's reflexive domain in \(P\omega \)
zbMATH Open document ID: 0873.03014
DOI: 10.1016/0304-3975(96)00102-8
author: Thomas Drakengren
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 984815
zbMATH Keywords: extensional model in \(P\omega\)
zbMATH Keywords: pure \(\lambda\)-calculus
zbMATH Keywords: codings of the \(P\omega\) model
MaRDI profile type: Publication
full work available at URL: 0304-3975(96)00102-8
OpenAlex ID: W2063983720
cites work: The lambda calculus, its syntax and semantics
cites work: Set-theoretical and other elementary models of the \(\lambda\)-calculus
cites work: Q3922646
cites work: Isomorphisms and nonisomorphisms of graph models
cites work: Data Types as Lattices
cites work: The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
description: scientific article; zbMATH DE number 984815