"Typed Lambda Calculi and Applications, Second International Conference on ..."

Mariangiola Dezani-Ciancaglini, Gordon D. Plotkin (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics