The system F of variable types: years later. Huet, G (ed), Logical foundations of functional programming (1990)

by J-Y Girard