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