頁面歷史
跳至導覽
跳至搜尋
2024年12月26日 (星期四)
→Ch3. 二階有型別lambda運算Second order typed lambda calculus
+1
→Ch3. 二階有型別lambda運算Second order typed lambda calculus
+5
→附註：本筆記使用的邏輯推演排版法
+264
2024年12月24日 (星期二)
2024年9月11日 (星期三)
2024年9月10日 (星期二)
2024年9月3日 (星期二)
2024年7月30日 (星期二)
2024年7月17日 (星期三)
2024年7月10日 (星期三)
無編輯摘要
+72
→2.4 Church lambda→演算的推演規則 (derivation rules)
+71
→附註：本筆記使用的邏輯推演排版法
+156
→2.4 Church lambda→演算的推演規則 (derivation rules)
+67
→2.4 Church lambda→演算的推演規則 (derivation rules)
+939
2024年7月9日 (星期二)
2024年7月8日 (星期一)
→2.4 Church lambda→演算的推演規則 (derivation rules)
−2
無編輯摘要
+1,180
→2.3 Church-typing (explicit typing) 和 Curry-typing (implicit typing)
+814
無編輯摘要
+1,856
→2.2 simple type 簡單型別
+2
無編輯摘要
+1,310