[logic-ml] Prof. Elio Giovannetti at NII Logic Seminar

[Makoto Tatsuta]

	 Prof. Elio Giovannetti at NII Logic Seminar

Date: April 10, 2013, 13:30--15:30

Place: National Institute of Informatics, Room 1904 (19th floor)
場所: 国立情報学研究所 19階 1904室
    (半蔵門線,都営地下鉄三田線・新宿線 神保町駅または東西線 竹橋駅より徒歩5分)
    (地図 http://www.nii.ac.jp/about/access/)

Speaker: Prof. Elio Giovannetti (Torino University)

Title: Lambda-calculus in context

Abstract: 
The talk, kept at an informal level, will start fom Bohm's Theorem to
give an overview of the development of observational equivalences
between lambda-terms, and of the relationships between such
equivalences.  There will be a particular (though not exclusive)
reference to the results obtained by M. Dezani and Torino's
lambda-group, placed in a sketchy historical context, with a final
mention of intersection types, which were a major achievement of the
early history of Torino's group, in the persons of M. Coppo and
M. Dezani.

問合せ先:
龍田 真 (国立情報学研究所)
e-mail: tatsuta at nii.ac.jp
http://research.nii.ac.jp/~tatsuta