Login / Signup
Expressibility in the Lambda Calculus with Letrec
Clemens Grabmayer
Jan Rochel
Published in:
CoRR (2012)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
program understanding
complex objects
relational data model
higher order
database query languages
general purpose
database
databases
database systems
relational databases
data model
query optimization