2007-02-23 "An introduction to type theoretical ideas" (4) Bengt Nordstrom 計算機科学 研究集会 16時より18時まで、参加者10人ぐらい。Identityやinductionなどのruleをどうタイプで表現するのか。