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

by Jean-Yves Girard
Venue:Theoretical Computer Science