The System F of Variable Types (1986)

by J Y Girard
Venue:Fifteen Years Later. Theoretical Computer Science