Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus.

Alvaro Tasistro Ernesto Copello Nora Szasz

Published in: LSFA (2014)

Keyphrases

lambda calculus
database query languages
programming language
predicate calculus
relational databases
higher order
complex objects