A Lambda-Calculus à la de Bruijn with Explicit Substitutions

Fairouz Kamareddine Alejandro Ríos

Published in: PLILP (1995)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
complex objects
database query languages
database
object oriented
general purpose
database management systems