2007-03-01 "An introduction to type theoretical ideas" (5) Bengt Nordstrom 計算機科学 研究集会 16時より18時まで、参加者10人ぐらい。本日が最終回、Universeの導入、Jan Smithの結果の説明とmonomorphic type theory。