Login / Signup

Simultaneous Substitution in the Typed Lambda Calculus.

John W. Gray
Published in: MFPS (1991)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • program understanding
  • database query languages
  • higher order
  • complex objects
  • databases
  • artificial intelligence
  • software engineering