※ [本文转录自 logic 看板 #1ajevvZE ]
作者: yoxem (Yoxem) 看板: logic
标题: [心得] 关于依值型别以及和形式逻辑的心得
时间: Tue Jul 18 21:06:56 2023
最近有涉猎一些和形式逻辑相关的电脑程式型别相关理论，所以写了
这篇笔记，算是对自己终于有些许领会的一些记录。
只是心得所以内容仅供参考，
大概讲到依值型别和全称量词的对应性。
是说电脑逻辑数理证明，Program=Proof可以看，但我目前才读到开头。
因为数学逻辑符号比较多，所以用pdf提供：
http://yoxem.github.io/2023/07/16/ua-tat-hing-piat-e-li-kai/deptype.pdf