TY  - GEN
AU  - Moldestad,Johan
TI  - Computations in higher types
T2  - Lecture notes in mathematics
SN  - 0387081321
PY  - 1977///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Recursive functions
N1  - Includes index
ER  -