类别档案:组合器微积分

命题类型•1

关于:R.J.Lipton•数学技巧我最喜欢的数学技巧之一是“命题作为类型类比”(Propositions As Types Analogy)。我看到一些提示,两部分的类比可以扩展到三部分…继续阅读

发布于 阿尼马塔,C.S.皮尔斯,组合器微积分,组合逻辑,Curry–Howard同构,图论,兰姆达微积分,逻辑,逻辑图,数学,证明理论,命题作为类型类比,类型理论 | 已标记 ,,,,,,,,,,,, | 留下评论