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

[0132 名無しさん＠お腹いっぱい。 2008/04/22(火) 10:52:23 ID:ymUV2OpA0]

>>131
Lambek and Scott