"Typability and Type-Checking in the Second-Order lambda-Calculus are ..."

J. B. Wells (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics