"The System F of Variable Types, Fifteen Years Later."

Jean-Yves Girard (1986)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics