yoneda-lemma

标签

#yoneda-lemma

Church编码、参数化与Yoneda引理

Lobsters Hottest ↗ · 2026-05-21 缓存

深入探讨Church编码的理论基础，并将其与System F和多态lambda演算背景下的参数化及Yoneda引理联系起来。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈