Standardization and Confluence for a Lambda Calculus with Generalized Applications.

Felix Joachimski Ralph Matthes

Published in: RTA (2000)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
database
artificial intelligence
general purpose
database systems
xml documents
query processing
complex objects