>> Amazon.co.jp
このページのQRコード

Introduction to combinators and λ-calculus

種類:
図書
責任表示:
J. Roger Hindley, Jonathan P. Seldin
出版情報:
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986
著者名:
シリーズ名:
London Mathematical Society student texts ; 1 <BA00194352>
ISBN:
9780521268967 [0521268966] (: hard)  CiNii Books  Calil
9780521318396 [0521318394] (: pbk)  CiNii Books  Calil
注記:
Bibliography: p. 340-352
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Lambda-calculus and combinators, an introduction

Hindley, J. Roger, Seldin, Jonathan P

Cambridge University Press
7 図書 Basic simple type theory

Hindley, J. Roger

Cambridge University Press
2 図書 Lambda-calculus, combinators, and functional programming

Révész, György E.

Cambridge University Press
8 図書 Refinement calculus : a systematic introduction

Back, Ralph-Johan, Wright, J. (Joakim) von, 1955-

Springer
3 図書 An introduction to functional programming through Lambda calculus

Michaelson, Greg

Addison-Wesley
9 図書 Combinatory logic

Curry, Haskell B. (Haskell Brooks), 1900-

North-Holland Pub. Co.
4 図書 The lambda calculus : its syntax and semantics

Barendregt, H. P. (Hendrik Pieter), 1947-

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub.
10 図書 The combinatory programme

Engeler, Erwin, 1930-, Aberer, K.

Birkhäuser
5 図書 Domains and lambda-calculi

Amadio, Roberto M, Curien, P.-L. (...Pierre-Louis...)

Cambridge University Press
11 図書 Combinatory logic : pure, applied and typed

Bimbó, Katalin, 1963-

CRC Press, Taylor & Francis Group : Chapman & Hall Book
6 図書 Language in action : categories, lambdas and dynamic logic

Benthem, J. F. A. K. van, 1949-

North-Holland, Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc.
12 図書 Lambda calculi : a guide for computer scientists

Hankin, Chris

Clarendon Press, Oxford University Press