视频目录 / 抽象代数与对称

系列分集

范畴论第 8.2 讲：类型代数与柯里–霍华德–兰贝克对应

Category Theory 8.2: Type algebra, Curry-Howard-Lambek isomorphism

把积类型、函数类型和逻辑中的合取、蕴涵摆在一起。沿着求值与柯里化的两条路，比较它们怎样表示同一计算。

Bartosz Milewski · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Category Theory · 2016-11-16