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

[0018 名無しさん＠お腹いっぱい。 2006/12/09(土) 20:28:48 ID:Pfl1+DBh0]

型付ラムダ計算と型付でないラムダ計算に本質的な違いってあるの？