Login / Signup

Standardization in resource lambda-calculus

Maurizio DominiciSimona Ronchi Della RoccaPaolo Tranquilli
Published in: LINEARITY (2012)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • higher order
  • database query languages
  • database
  • program understanding
  • complex objects