No label defined (Q5457388)
From MaRDI portal
scientific article; zbMATH DE number 5263149
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 5263149 |
Statements
14 April 2008
0 references
constructive theory of computable functionals
0 references
computability in finite types
0 references