An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus (1992)

by F Honsell, S Ronchi Della Rocca
Venue:Journal of Computer and System Sciences