Expressibility in the Lambda Calculus with Mu.

Clemens Grabmayer Jan Rochel

Published in: RTA (2013)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
program understanding
complex objects
formal model
relational data model
artificial intelligence
database systems
query language
object oriented
relational algebra