TY  - BOOK
AU  - Moldestad,Johan
TI  - Computations in higher types
SN  - 0387081321 (pbk) :
U1  -  510.82 
PY  - 1977///
CY  - Berlin
PB  - Springer-Verlag
KW  - Recursive functions
N1  - Includes bibliographical references and index
ER  -