Lambda calculus with patterns.

Jan Willem Klop Vincent van Oostrom Roel C. de Vrijer

Published in: Theor. Comput. Sci. (2008)

Keyphrases

lambda calculus
expert systems
predicate calculus
artificial intelligence
general purpose
programming language
complex objects
program understanding