Explicit Substitutions for the Lambda-Calculus.

Gilles Barthe Fairouz Kamareddine Alejandro Ríos

Published in: ALP/HOA (1997)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
general purpose
artificial intelligence
first order logic
semantic network