Computations in higher types - Moldestad Johan (Berlin Springer-Verlag, 1977)
Keywords: Computation; Recursion theory