[logic-ml] Talk by Jean-Yves Girard at RIMS, Kyoto U. (1/12)

[Kazushige TERUI]

みなさま

今週木曜日に催されるセミナーのご案内をさせていただきます。
どうぞお気軽にお越しください。

照井
---
RIMS-CS website
http://www.kurims.kyoto-u.ac.jp/~cs/


=====
Speaker:
  Jean-Yves Girard (IML Marseille & RIMS Kyoto)

Title:
  A SECOND LOOK AT PROOF-NETS

Date:
  11.00 -, January 12th (Thu)

Place:
   Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)"
     http://www.kyoto-u.ac.jp/en/access/campus/main.htm
     (Next to our CS Lab)
   総合研究2号館 478号室 (CS室のとなりです)
     http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm

Abstract:
In logic, we have a reasonable answer to the question :

"What is a typable object?"

but none so far to the question :

"What is a typed object?"

By a second look at proof-nets, especially the ones involving quantifiers,
we shall propose an answer to the second question.




------------------------------------------
Kazushige TERUI
Research Institute for Mathematical Sciences,
Kyoto University.
Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN.
Phone: +81-75-753-7235
Fax: +81-75-753-7276
terui at kurims.kyoto-u.ac.jp
http://www.kurims.kyoto-u.ac.jp/~terui/