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

The lambda calculus : its syntax and semantics. Rev. ed.

種類:
図書
責任表示:
H.P. Barendregt
出版情報:
Amsterdam ; New York : North-Holland
New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub., 1984
著者名:
Barendregt, H. P. (Hendrik Pieter), 1947- <DA01846885>  
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 103 <BA00099329>
ISBN:
9780444867483 [0444867481]  CiNii Books  Calil
9780444875082 [0444875085] (: pbk)  CiNii Books  Calil
注記:
Bibliography: p. 585-598
Includes indexes
所蔵情報
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 図書 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.
2 図書 Lambda-calculus, combinators, and functional programming

Révész, György E.

Cambridge University Press
8 図書 Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

International Workshop on TYPES, Barendregt, H. P. (Hendrik Pieter), 1947-, Nipkow, Tobias, 1958-

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

Michaelson, Greg

Addison-Wesley
9 図書 Syntax and semantics

Kimball, John P.

Taishukan Pub. Co.
4 図書 Domains and lambda-calculi

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

Cambridge University Press
10 図書 Syntax and semantics

Kimball, John P., Cole, Peter, 1941-

Seminar Press
5 図書 Introduction to combinators and λ-calculus

Hindley, J. Roger, Seldin, Jonathan P

Cambridge University Press
11 図書 The syntax and semantics of 'have' and its complements

Brugman, Claudia Marlea

University Microfilms International
6 図書 Lambda calculi : a guide for computer scientists

Hankin, Chris

Clarendon Press, Oxford University Press
12 図書 Syntax

Matthews, P. H. (Peter Hugoe)

Cambridge University Press