A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\) (Q1127535)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\) |
scientific article |
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
