ジャン＝イヴ・ジラール
この存命人物の記事には検証可能な出典が不足しています。 信頼できる情報源の提供に協力をお願いします。存命人物に関する出典の無い、もしくは不完全な情報に基づいた論争の材料、特に潜在的に中傷・誹謗・名誉毀損あるいは有害となるものはすぐに除去する必要があります。出典検索?: "ジャン＝イヴ・ジラール" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2012年1月)
ジャン＝イヴ・ジラール（Jean-Yves Girard、1947年 - ）は証明論の研究を行なっているフランスの論理学者。System Fの強正規化性の証明や、線形論理、相互作用の幾何、ludicsの発見などの功績がある。
外部リンク
[編集] |  | この項目は、まだ閲覧者の調べものの参照としては役立たない、人物に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（P:人物伝/PJ:人物伝）。 |
| 全般 | |
|---|---|
| 国立図書館 | |
| 学術データベース | |
| その他 | |
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
