ジャン＝イヴ・ジラール

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

外部リンク
Présentation de JYG

Category:20世紀フランスの哲学者
Category:21世紀フランスの哲学者
Category:20世紀の論理学者
Category:21世紀の論理学者
Category:フランスの論理学者
Category:証明論研究者
Category:ヨーロッパ・アカデミー会員
Category:1947年生
Category:存命人物
Category:CNRSシルバーメダルの受賞者
Category:ポンスレ賞の受賞者