No label defined (Q4938567)
From MaRDI portal
scientific article; zbMATH DE number 1405588
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1405588 |
Statements
4 July 2000
0 references
dI-domains with coherence
0 references
hypercoherences
0 references
type structure
0 references
finite-type functionals
0 references
combinatory algebra of partial functions
0 references
flat domain on the natural numbers
0 references