Girard, J-Y. "Proofs and Types", Cambridge U Press 1989

Languages mentioned

• System F {1989}