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

[0054 名無しさん＠お腹いっぱい。 2007/01/31(水) 21:03:41 ID:6thJQwOu0]

λ計算と圏論との技術的な違いは？
なんてこと聞いていいですか？