Login / Signup

Infinite lambda-Calculus and Types.

Alessandro BerarducciMariangiola Dezani-Ciancaglini
Published in: Theor. Comput. Sci. (1999)
Keyphrases
  • lambda calculus
  • programming language
  • high level
  • natural language processing