Expressibility in the Lambda Calculus with mu

Clemens Grabmayer Jan Rochel

Published in: CoRR (2013)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
complex objects
high level
higher order
databases
pairwise
natural language processing
open source
relational data model