Login / Signup

The lambda calculus is algebraic.

Peter Selinger
Published in: J. Funct. Program. (2002)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • higher order
  • database query languages
  • program understanding
  • data management
  • database
  • artificial intelligence
  • case study
  • co occurrence