Encoding Left Reduction in the Lambda-Calculus with Interaction Nets.

Published in: Math. Struct. Comput. Sci. (2002)

Keyphrases

lambda calculus
programming language
predicate calculus
human computer interaction
program understanding
artificial intelligence
knowledge base
pairwise
higher order
complex objects