λ算法

■ このスレッドは過去ログ倉庫に格納されています
0001名無しさん＠お腹いっぱい。2010/10/18(月) 20:51:08ID:TIKczQb20
λ算法って何ですか？どう使うんですか？おすすめの分かりやすい教科書を紹介してください。
0002名無しさん＠お腹いっぱい。2010/10/23(土) 19:35:04ID:sSkUikU70
Types and Programming Languages: Benjamin C. Pierce
0003名無しさん＠お腹いっぱい。2010/10/25(月) 02:14:20ID:dc5Ojn6l0
>>1
Henk Barendregt: The Lambda Calculus
■ このスレッドは過去ログ倉庫に格納されています