Computations in higher types /
Moldestad, Johan, 1946-
Computations in higher types / Johan Moldestad. - Berlin ; New York : Springer-Verlag, 1977. - 203 p. ; 25 cm. - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann 574 . - 510/.8 s 511/.3 . - Lecture notes in mathematics (Springer-Verlag) ; 574. .
Includes index. Bibliogr.: p. [195]-196.
0387081321
Recursive functions
510/.8 s 511/.3
Computations in higher types / Johan Moldestad. - Berlin ; New York : Springer-Verlag, 1977. - 203 p. ; 25 cm. - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann 574 . - 510/.8 s 511/.3 . - Lecture notes in mathematics (Springer-Verlag) ; 574. .
Includes index. Bibliogr.: p. [195]-196.
0387081321
Recursive functions
510/.8 s 511/.3