The largest Cartesian closed category of domains, considered constructively (Q4675770)
From MaRDI portal
scientific article; zbMATH DE number 2165874
Language | Label | Description | Also known as |
---|---|---|---|
English | The largest Cartesian closed category of domains, considered constructively |
scientific article; zbMATH DE number 2165874 |
Statements
The largest Cartesian closed category of domains, considered constructively (English)
0 references
6 May 2005
0 references
complete partial orders
0 references
effectively given domains
0 references
effectively strongly algebraic cpo
0 references
effective SFP domain
0 references
completeness test
0 references
constructive domains
0 references
\(\omega\)-algebraic cpo
0 references
Cartesian closed category of domains
0 references