Linear-Time Self-Interpretation of the Pure Lambda Calculus.

Torben Æ. Mogensen

Published in: High. Order Symb. Comput. (2000)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
high level
higher order
databases
artificial intelligence
object oriented
software engineering
general purpose