常翔学園 摂南大学図書館

Lambda-calculus, combinators, and functional programming

G.E. Revesz. -- Cambridge University Press, 1988. -- (Cambridge tracts in theoretical computer science ; 4). <BB99691321>
この書誌にはまだスタンプは押されていません。


登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 摂本館 摂寝保存書庫 549.92||C||4 28802527 帯出可 0件
No. 0001
巻号
所蔵館 摂本館
配置場所 摂寝保存書庫
請求記号 549.92||C||4
資料ID 28802527
禁帯出区分 帯出可
状態
返却予定日
予約 0件

書誌詳細

タイトル/著者 Lambda-calculus, combinators, and functional programming / G.E. Revesz
出版・頒布事項 Cambridge [Cambridgeshire] : Cambridge University Press , 1988
形態事項 x, 181 p. : ill. ; 26 cm
巻号情報
ISBN 0521345898
シリーズ名 Cambridge tracts in theoretical computer science <BB99642105> 4//a
注記 Bibliography: p. [176]-181
学情ID BA03432683
本文言語コード 英語
著者標目リンク *Révész, György E. <AU50089969>
件名標目等 Lambda calculus
件名標目等 Combinatory logic
件名標目等 Functional programming languages