No label defined (Q4207894)
From MaRDI portal
scientific article; zbMATH DE number 4128803
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 4128803 |
Statements
1989
0 references
Scott domain
0 references
effective domains
0 references
effective topos
0 references
recursive topos
0 references
generalized enumerated sets
0 references
natural number object
0 references
fixed point properties
0 references
categorical models of computing
0 references
