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

[0131 名無しさん＠お腹いっぱい。 2008/04/22(火) 06:56:52 ID:vPfSVsQA0]

圏論でＣＣＣについて詳しく載っている参考書等を
教えていただけませんか
英語でも構いません