The system F of variable types, years later (1986)

by J-Y Girard
Venue:Theoretical Computer Science