J. ロジャーヒンドリー

J. ロジャー・ヒンドリーは、ヒンドリー・ミルナー型推論アルゴリズムで最もよく知られているイギリスの著名な論理学者です。1998年以来、彼はスウォンジー大学の名誉研究員を務めています。^[1]

教育

ヒンドリーは1960年にベルファストのクイーンズ大学を卒業し、1961年に理学修士号を取得した。

彼は1964年にニューカッスル大学で博士号を取得しました。同大学の論文指導教官はロナルド・ハロップでした。その後、 1991年にクイーンズ大学に戻り、理学博士号を取得しました。

彼はペンシルベニア州立大学（1964～1966年）、ブリストル大学（1966～1968年）で教鞭をとり、 1968年からはスウォンジー大学に勤務している。

Hindley, J. Roger (1969)、「組み合わせ論理におけるオブジェクトの主要な型スキーム」、アメリカ数学会誌、146 : 29–60、doi :10.2307/1995158、JSTOR 1995158、MR 0253905。

Hindley, J. Roger (2008)、Basic simple type theory (第 2 版)、ケンブリッジ大学出版局、ISBN 9780521054225、 2009年6月22日閲覧。