Login / Signup
An Approximation Theorem for Topological Lambda Models and the Topological Incompleteness of Lambda Calculus.
Furio Honsell
Simona Ronchi Della Rocca
Published in:
J. Comput. Syst. Sci. (1992)
Keyphrases
</>
lambda calculus
higher order
database systems
programming language
expert systems
d objects
co occurrence
predicate calculus