Highlights in infinitary rewriting and lambda calculus.

Jörg Endrullis Dimitri Hendriks Jan Willem Klop

Published in: Theor. Comput. Sci. (2012)

Keyphrases

lambda calculus
programming language
predicate calculus
conjunctive queries
complex objects
query rewriting
higher order
database query languages
database
artificial intelligence
data structure
software engineering
open source
first order logic
program understanding