Limits, Higher Type Computability and Type-Free Languages. - Longo, Giuseppe (1984)