λ 演算與型別 (λ-calculus and types)

講者

• 陳亮廷 Liang-Ting Chen, Swansea University, UK

大綱

• Untyped lambda calculus
  
• Simply typed lambda calculus
• Polymorphic lambda calculus
• Categorical semantics

課程資源

• 請從這裡下載。
• lambda-hw.pdf