Lambda calculus
ジャン＝イヴ・ジラールとは、それぞれ独立に、パラメータ多相の概念をラムダ計算の拡張（System Fとか多相ラムダ計算と呼ばれる）として形式的に発展させた。