[ ホーム
| 講義 ]
Perspectives in Mathematical Sciences III/I (Spring 2018)
Report
Course plan
Syllabus
- (5/22) Lambda calculus: Syntax
- (5/29) Simply-typed lambda-calculus
- (6/5) Intuitionistic logic and the Curry-Howard
isomorphism
- (6/19) System F
- (6/26) Lambda-cube and dependent types
Last updated 2018.08.24.