λ-calculus.λ計算.(lambda calculus)

[0116 名無しさん＠お腹いっぱい。 2007/08/12(日) 20:11:05 ID:YoiYsya60]

それって ├ e : string と書くのと変わらん気がする