ジャン＝イヴ・ジラール

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

外部リンク

  • 表示
  • 編集
スタブアイコンサブスタブ

この項目は、まだ閲覧者の調べものの参照としては役立たない、人物に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（P:人物伝/PJ:人物伝）。

  • 表示
  • 編集
典拠管理データベース ウィキデータを編集
全般
  • ISNI
  • VIAF
  • WorldCat
国立図書館
  • ノルウェー
  • フランス
    • 2
  • BnF data
    • 2
  • ドイツ
  • イタリア
  • イスラエル
  • アメリカ
  • チェコ
  • クロアチア
  • オランダ
  • ポーランド
学術データベース
  • DBLP
  • MathSciNet
  • Mathematics Genealogy Project
  • zbMATH
その他
  • IdRef