Reduction Graphs in the Lambda Calculus.

Marisa Venturini Zilli

Published in: Theor. Comput. Sci. (1984)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
expressive power
database query languages
general purpose
open source
formal model