Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
2009年度前期・数理科学展望III/I
[ ホーム
| 講義 ]
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.