※一部利用できない機能があります
Derivation and computation : taking the Curry-Howard correspondence seriously
- フォーマット:
- 図書
- 責任表示:
- Harold Simmons
- 言語:
- 英語
- 出版情報:
- Cambridge ; New York : Cambridge University Press, 2000
- 形態:
- xxv, 384 p. : ill. ; 24 cm
- 著者名:
- Simmons, Harold <DA02656987>
- シリーズ名:
- Cambridge tracts in theoretical computer science ; 51 <BA01121831>
- 書誌ID:
- BA46912341
- ISBN:
- 9780521771733 [0521771730]
類似資料:
Elsevier |
Bloomsbury Publishing |
Simon & Schuster |
Cambridge University Press |
Falmer Press, Althouse Press |
Elsevier Science |
Duckworth |
North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. |
Harvard University Press |
Oxford University Press |
Bloomsbury Academic |
West Pub. Co. |