ペール・マルティン＝レーフ
1964年 - 1965年:モスクワのアンドレイ・コルモゴロフのもとで学び、ランダム系列に関する研究を行う。
1968年 - 1969年:シカゴ大学助教授を務め、ここでウィリアム・ハワードとカリー=ハワード対応に関して議論している。
1971年: 型理論に関する最初の草稿を書き上げる。しかし、この最初の非可述体系はジャン=イヴ・ジラールによって矛盾していることが示された(ジラールのパラドックス)。これをきっかけに型理論の概念的基礎の探求へと導かれていったマルティン=レーフは、1984年の著作で提示した可述型理論を正当化するための証明論的意味論を展開し、またこれに関連していくつかの哲学的著作も発表している。