ジャン＝イヴ・ジラール
ジャン＝イヴ・ジラール（Jean-Yves Girard、1947年 - ）は証明論の研究を行なっているフランスの論理学者。System Fの強正規化性の証明や、線形論理、相互作用の幾何、ludicsの発見などの功績がある。
Q5263
1947年
TIME
Q852732
証明論
Concept
Q2222142
論理学者
UNK
Q2552799
System F
ORG
None
強正規化性
UNK
Q841728
線形論理
Concept
None
相互作用の幾何
UNK
None
ludics
UNK
Q3087821
ジャン＝イヴ・ジラール
PER
73-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1947年 
DATE
field of work
discoverer or inventor
discoverer or inventor