The system F of variable types - 15 years later (1986)

by J Y Girard
Venue:Theoretical Computer Science