Computability on continuous higher types and its role in the semantics of programming languages - Constable, Robert Lee 1952-; Egli, Herbert (Cornell University <Ithaca, NY>, 1974)