2ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

λ算法

1 :名無しさん@お腹いっぱい。:2010/10/18(月) 20:51:08 ID:TIKczQb20
λ算法って何ですか?どう使うんですか?おすすめの分かりやすい教科書を紹介してください。

2 :名無しさん@お腹いっぱい。:2010/10/23(土) 19:35:04 ID:sSkUikU70
Types and Programming Languages: Benjamin C. Pierce

3 :名無しさん@お腹いっぱい。:2010/10/25(月) 02:14:20 ID:dc5Ojn6l0
>>1
Henk Barendregt: The Lambda Calculus

1 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.02.02 2014/06/23 Mango Mangüé ★
FOX ★ DSO(Dynamic Shared Object)