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