A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\) (Q1127535)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A decidable canonical representation of the compact elements in Scott's reflexive domain in P |
scientific article; zbMATH DE number 1189767
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\) |
scientific article; zbMATH DE number 1189767 |
Statements
A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\) (English)
0 references
13 August 1998
0 references
lambda calculus
0 references
reflexive domains
0 references
compact elements
0 references
canonical representation
0 references
0.8140215277671814
0 references
0.7322163581848145
0 references
