Self-Replicating Expressions in the Lambda Calculus.

James Larkin Phil Stocks

Published in: ACSC (2004)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
higher order
database query languages
natural language
expressive power
query language
complex objects