generated at
2/11/2025, 10:08:41 PM
単純型付きラムダ計算
STLC
:
Simply Typed Lambda-Calculus
/mrsekut-p/単純型付きラムダ計算