型付きラムダ計算
typed lambda calculus
mrsekut-p
-
/mrsekut-p/型付きラムダ計算
Geek-SpaceBox
-
/Geek-SpaceBox/単純型付きラムダ計算
型付きラムダ計算 - Wikipedia