6. ALP / 3. HOA 1997: Southampton, U.K.

Functional and Logic Programming

Higher-Order Methods

Term Rewriting

Types

Lambda-Calculus

Theorem Proving Methods