Computations in higher types - Moldestad, Johan, 1946- (Berlin : Springer-Verlag, 1977)
Includes bibliographical references and index
Keywords: Recursive functions