ジャン＝イヴ・ジラール
 |
ジャン＝イヴ・ジラール（Jean-Yves Girard、1947年 - ）は証明論の研究を行なっているフランスの論理学者。System Fの強正規化性の証明や、線形論理、相互作用の幾何、ludicsの発見などの功績がある。
外部リンク
[編集] | この項目は、学者に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:人物伝/P:教育）。 |
 |  | この項目は、まだ閲覧者の調べものの参照としては役立たない、人物に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（P:人物伝/PJ:人物伝）。 |
