ジャン＝イヴ・ジラール

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

外部リンク
Présentation de JYG

20世紀フランスの哲学者
21世紀フランスの哲学者
20世紀の論理学者
21世紀の論理学者
フランスの論理学者
証明論研究者
ヨーロッパ・アカデミー会員
1947年生
存命人物