ジャン=イヴ・ジラール
ジャン=イヴ・ジラール(Jean-Yves Girard、1947年 - )は証明論の研究を行なっているフランスの論理学者。System Fの強正規化性の証明や、線形論理、相互作用の幾何、ludicsの発見などの功績がある。
外部リンク
[編集]全般 | |
---|---|
国立図書館 | |
学術データベース | |
その他 |
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.