Linear Time Self-Interpretation of the Pure Lambda Calculus.

Torben Æ. Mogensen

Published in: Ershov Memorial Conference (1999)

Keyphrases

lambda calculus
programming language
predicate calculus
high level
database query languages
program understanding
higher order
complex objects
databases
artificial intelligence
relational databases
knowledge representation
general purpose
fault localization