Login / Signup

Linear-algebraic lambda-calculus: higher-order, encodings, and confluence..

Pablo ArrighiGilles Dowek
Published in: RTA (2008)
Keyphrases
  • lambda calculus
  • higher order
  • programming language
  • predicate calculus
  • database query languages
  • program understanding
  • artificial intelligence