Login / Signup

Confluence of the Lambda Calculus with Left-Linear Algebraic Rewriting.

Fritz Müller
Published in: Inf. Process. Lett. (1992)
Keyphrases
  • lambda calculus
  • programming language
  • higher order
  • databases
  • general purpose
  • program understanding