I 8.2 · Type algebra, Curry-Howard-Lambek isomorphism

- 视频：https://www.youtube.com/watch?v=iXZR1v3YN-8

- 状态：已看完；旧观看笔记待逐步整理

- 关联：Bartosz Milewski Category Theory 视频笔记 category_theory @Category Theory for Programmers