Title: Computability and continuity in finite types
Subjects: Recursive functions