Title: Computations in higher types
Subjects: Recursive functions