%O Generic 
%F girthe
%A Girard, J.
%T The System F of Variable Types, Fifteen Years Later
%D 0
%K typetheory