ジャン=イヴ・ジラール

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ナビゲーションに移動 検索に移動

ジャン=イヴ・ジラール(Jean-Yves Girard、1947年 - )は証明論の研究を行なっているフランスの論理学者System F強正規化性の証明や、線形論理相互作用の幾何ludicsの発見などの功績がある。

外部リンク[編集]