Sign in

Standardization of a Call-By-Value Lambda-Calculus.

Giulio GuerrieriLuca PaoliniSimona Ronchi Della Rocca
Published in: TLCA (2015)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • program understanding
  • higher order
  • complex objects