Festschrift in Honor of Satoru Takasu, 1994

Refine list

showing all ?? records

Constructive Type Theory

Lambda Calculus

Logic, Algebra, and Applications

Program Transformation

Complexity and Coding

a service of  Schloss Dagstuhl - Leibniz Center for Informatics