Login / Signup
Full Intersection Types and Topologies in Lambda Calculus.
Silvia Ghilezan
Published in:
J. Comput. Syst. Sci. (2001)
Keyphrases
</>
lambda calculus
high level
co occurrence
higher order
programming language
predicate calculus