Self-Interpretations in lambda Calculus.

Henk Barendregt

Published in: J. Funct. Program. (1991)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
data structure
case study
databases
high level
natural language
open source
temporal logic