- 综合排序
- 最热优先
- 最新优先
- 来自专栏图灵人工智能
数学证明和计算机程序等同的深层链接
柯里-霍华德对应（Curry-Howard correspondence）也做了同样的事情，但规模更大，不仅将一个领域的不同概念联系起来，而且将整个学科联系起来：计算机科学和数理逻辑。
64511编辑于 2024-01-10 - 来自专栏Linyb极客之路
十个有用的软件开发原则
重点学习： 纯函数式编程 关系型模型 规范的方法 逻辑编程 代数数据类型 类型类 (通用的和特定的) 借位检查器 (仿射 / 线性类型) 依赖类型 Curry-Howard 同构 宏 同像性（Homoiconicity
29120编辑于 2022-01-06 - 来自专栏零域Blog
「SF-LC」9 ProofObjects
Curry-Howard Correspondence deep connection between the world of logic and the world of computation:
75320编辑于 2022-03-14 - 来自专栏深度学习与python
十个有用的软件开发原则
重点学习： 纯函数式编程 关系型模型 规范的方法 逻辑编程 代数数据类型 类型类 (通用的和特定的) 借位检查器 (仿射 / 线性类型) 依赖类型 Curry-Howard 同构 宏 同像性（Homoiconicity
50910发布于 2020-11-23 - 来自专栏华仔的技术笔记
Solidity开发的智能合约安全建议
（更多相关信息请参阅 这里, Curry-Howard 一致性和线性逻辑）
1.6K50发布于 2021-11-24 - 来自专栏网络安全随笔
【NJU-OS-JYY笔记】操作系统：设计与实现
Curry-Howard Correspondence：命题即类型：逻辑中的命题 (如 A→B→A→B) 对应函数类型 A→B→A→B。
45410编辑于 2025-08-29
时间不限
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号