Two Problems on Reduction Graphs in Lambda Calculus.

Benedetto Intrigila Anna Rita Laurenzi

Published in: Fundam. Informaticae (2000)

Keyphrases

lambda calculus
higher order
artificial intelligence
high level
relational databases
general purpose
co occurrence
query optimization
expressive power