Login / Signup

A List-Oriented Extension of the lambda-Calculus Satisfying the Church-Rosser Theorem.

György E. Révész
Published in: Theor. Comput. Sci. (1992)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • program understanding
  • complex objects
  • database query languages
  • database