Satoru Takasu, 1994

Constructive Type Theory

Lambda Calculus

Logic, Algebra, and Applications

Program Transformation

Complexity and Coding

a service of Schloss Dagstuhl - Leibniz Center for Informatics