System F of variable types, years later (1986)

by J Y Girard
Venue:Theoretical Computer Science