単純型付きラムダ計算
#Fleeting_Notes
単純型付きラムダ計算(Simply typed lambda calculus; STLC)
確認用
Q. 単純型付きラムダ計算
関連
単純型理論
(圏論)
デカルト閉圏(CCC)
調査用
Google.icon
単純型付きラムダ計算(日)
Google.icon
Simply typed lambda calculus(英)
Wikipedia.icon
単純型付きラムダ計算 - Wikipedia(日)
単純型付きラムダ計算(検索) - Wikipedia(日)
Wikipedia.icon
Simply typed lambda calculus - Wikipedia(英)
Simply typed lambda calculus(検索) - Wikipedia(英)