このページのリンク

Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons.
(Cambridge tracts in theoretical computer science ; 51)

データ種別 図書
出版者 Cambridge, UK : Cambridge University Press
出版者 New York
出版年 2000.
大きさ xxv, 384 p. ; 24 cm.
目次/あらすじ

所蔵情報を非表示


ASRS 411/Si5d 05459130
0521771730

書誌詳細を非表示

一般注記 Includes bibliographical references and index.
著者標目 Simmons, Harold.
件 名 Proof theory.
Lambda calculus.
Type theory.
分 類 NDC:411
書誌ID 1000237839
ISBN 0521771730
NCID BA46912341 WCLINK
URL1 http://www.amazon.co.jp/exec/obidos/ASIN/0521771730/
コメント Amazon.com

 類似資料