The System F of Variable Types (1986)

by J-Y Girard
Venue:Fifteen Years Later, Theoretical Computer Science 45