Login / Signup

A Lambda-Calculus for Dynamic Binding.

Laurent Dami
Published in: Theor. Comput. Sci. (1998)
Keyphrases
  • lambda calculus
  • programming language
  • pairwise
  • semantic relations