λHOL
#Fleeting_Notes
λHOL
型付きラムダ計算
に関連があるもの
高階述語論理 (Higher-Order Logic; HOL)に型付きラムダ計算を融合させたもの
確認用
Q. λHOL
関連
ラムダ・キューブ
参考
[Hurkens95]
『Simpliication of Girard's paradox』
調査用
Google.icon
λHOL(日)
Google.icon
λHOL(英)
Wikipedia.icon
λHOL - Wikipedia(日)
λHOL(検索) - Wikipedia(日)
Wikipedia.icon
λHOL - Wikipedia(英)
λHOL(検索) - Wikipedia(英)