TY  - BOOK
AU  - Moldestad Johan
TI  - Computations in higher types
SN  - 3-540-08132-1
U1  - 511.35 
PY  - 1977///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computation
KW  - Recursion theory
ER  -