Login / Signup

Trust in the lambda-Calculus

Jens PalsbergPeter Ørbæk
Published in: SAS (1995)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • program understanding
  • expressive power
  • higher order
  • complex objects