Maximal Sharing in the Lambda Calculus with letrec.

Clemens Grabmayer Jan Rochel

Published in: CoRR (2014)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
query language
complex objects
higher order