Formal metatheory of the Lambda calculus using Stoughton's substitution.

Ernesto Copello Nora Szasz Alvaro Tasistro

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

Keyphrases

lambda calculus
programming language
predicate calculus
formal model
higher order
database query languages
database systems
complex objects
program understanding
databases
xml documents
data management