An introduction to lambda calculi for computer scientists | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

An introduction to lambda calculi for computer scientists / Chris Hankin

資料種別:: 図書
出版情報:: London : King's College, c2004
形態:: x, 164 p. ; 23 cm
シリーズ名:: Texts in computing ; v. 2 <BA70852508>
著者名:: Hankin, Chris <DA01670381>
ISBN:: 9780954300654 [0954300653]
書誌ID:: BA76241198

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	Lambda calculi : a guide for computer scientists
注記:	Other title from previous ed.:Lambda calculi : a guide for computer scientists, Oxford University Press, 1994 Includes bibliographical references (p. 159-160) and index
主題:	Lambda calculus
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Domains and lambda-calculi (: hardback ; : pbk) Amadio, Roberto M., Curien, Pierre-Louis Cambridge University Press	7 電子ブック Semantics, Logics, and Calculi Christian W. Probst, Chris Hankin, Ren? Rydhof Hansen Springer eBooks Computer Science, Springer International Publishing
2 図書 Lambda-calculus and combinators, an introduction (: hbk) Hindley, J. Roger, Seldin, Jonathan P. Cambridge University Press	8 電子ブック Typed Lambda Calculi and Applications International Conference on Typed Lambda Calculi and Applications, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg
3 電子ブック Lambda calculus with types (: electronic bk) Barendregt, H. P., Dekkers, Wil, Statman, Richard, Alessi, Fabio, Association for Symbolic Logic	9 電子ブック Typed Lambda Calculi and Applications Curien, Pierre-Louis, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
4 図書 The lambda calculus : its syntax and semantics Barendregt, H. P. (Hendrik Pieter), 1947- North-Holland Pub., sole distributors for the U.S.A. and Canada Elsevier North-Holland	10 電子ブック Rewriting and Typed Lambda Calculi Gilles Dowek Springer eBooks Computer Science, Springer International Publishing
5 図書 Language in action : categories, lambdas and dynamic logic Benthem, J. F. A. K. van, 1949- North-Holland, Distributors for the United States and Canada, Elsevier Science	11 電子ブック Typed Lambda Calculi and Applications Ong, Luke, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Semantics, Logics, and Calculi Christian W. Probst, Chris Hankin, René Rydhof Hansen, Hankin, Chris, Hansen, René Rydhof SpringerLink Books - AutoHoldings, Springer International Publishing	12 電子ブック Typed Lambda Calculi and Applications Hasegawa, Masahito Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12