ジャン=イヴ・ジラール

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

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

外部リンク[編集]