[kisoron-ml] Prof. Dieter Spreen Lecture at NII Logic Seminar

[Makoto Tatsuta]

	    Prof. Dieter Spreen Lecture at NII Logic Seminar

Date: April 4, 2012, 13:30--15:30

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

Speaker: Prof. Dieter Spreen (University of Siegen)

Title: A refined model construction for the polymorphic lambda calculus

Abstract: 
We present and discuss a stable model for the polymorphic lambda
calculus. The domains are enriched by an approximation structure.
This allows to put additional requirements on the morphisms of the
underlying category. Moreover, a totality notion can be introduced
such that in the induced model the polymorphic booleans are
interpreted by the two-element set {True, False}.

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