※ [本文轉錄自 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