The system F of variable types: Fifteen years later (1986)

by J-Y Girard
Venue:Journal of Theoretical Computer Science