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

Refine list

showing all ?? records

Functional and Logic Programming

Higher-Order Methods

Term Rewriting

Types

Lambda-Calculus

Theorem Proving Methods

a service of  Schloss Dagstuhl - Leibniz Center for Informatics