みなさま
今週木曜日に催されるセミナーのご案内をさせていただきます。 どうぞお気軽にお越しください。
照井 --- 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 [email protected] http://www.kurims.kyoto-u.ac.jp/~terui/