単純型付きラムダ計算
STLC
:
Simply Typed Lambda-Calculus
/mrsekut-p/単純型付きラムダ計算