Computations in higher types
By: Johan Moldestad.
Series: Lecture notes in mathematics ; 574; Lecture notes in mathematics (Springer-Verlag) ;; 574.
Publisher: Springer-Verlag
Published: 1977
Place of publication: Berlin; New York
Language: eng
Number of pages: 203
Subjects: Recursive functions.
Notes: Bibliography: p. [195]-196.
Includes index.