[ ホーム
| 講義 ]
Surveys in Mathematical Sciences III/I (Summer 2012)
Report
- Report problems, Deadline Monday
2012/8/6.
Corrected a second typo in problem B on 2012/7/28.
Course plan
Syllabus
- (6/25) Lambda-calculus syntax and evaluation
- (7/2) Continued, and typed lambda-calculus
- (7/9) Typed lambda-calculus
- (7/23) Second-order and dependent type systems
Last updated 2012.7.28.