zh-tw:lambda [2012 Formosan Summer School on Logic, Language, and Computation (FLOLAC '12)]
2012 Formosan Summer School on Logic, Language, and Computation (FLOLAC '12)
中文
English
足跡:
•
lambda
Lambda Calculus
Lecturer:
陳恭 Kung Chen
Solution
to Exercises.
首頁
報名資訊
課程選單
邏輯
函數編程
λ 演算
型別系統
Hoare 邏輯
程式建構
Coq 程式驗證
特別演講
發送推文