Topological incompleteness and order incompleteness of the lambda calculus (0)

by A Salibra
Venue:LICS’01 Special Issue). ACM Transactions on Computational Logic