Computations in higher types - Moldestad, Johan, 1946- (Berlin ; New York : Springer-Verlag, 1977)
Includes index.
Bibliogr.: p. [195]-196.
Keywords: Recursive functions