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

Lambda calculi : a guide for computer scientists

種類:
図書
責任表示:
Chris Hankin
出版情報:
Oxford [England] : Clarendon Press
New York : Oxford University Press, 1994
著者名:
Hankin, Chris <DA01670381>  
シリーズ名:
Graduate texts in computer science ; 3 <BA11439757>
ISBN:
9780198538417 [0198538413]  CiNii Books  Calil
9780198538400 [0198538405] (: pbk)  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Domains and lambda-calculi

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

Cambridge University Press
7 図書 The calculi of Lambda-conversion

Church, Alonzo, 1903-

Kraus Reprint
2 図書 Lambda-calculus and combinators, an introduction

Hindley, J. Roger, Seldin, Jonathan P

Cambridge University Press
8 図書 Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : …

International Conference on Typed Lambda Calculi Applications, Groote, Philippe de, Hindley, J. Roger

Springer-Verlag
3 図書 Lambda-calculus, combinators, and functional programming

Révész, György E.

Cambridge University Press
9 電子ブック Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands …

Bezem, Marc, Groote, Jan Friso, SpringerLink (Online service)

Springer-Verlag
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 電子ブック Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The …

Bezem, Marc., Groote, Jan F., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 図書 An introduction to functional programming through Lambda calculus

Michaelson, Greg

Addison-Wesley
11 図書 Introduction to combinators and λ-calculus

Hindley, J. Roger, Seldin, Jonathan P

Cambridge University Press
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 図書 Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April …

International Conference on Typed Lambda Calculi Applications, Dezani-Ciancaglini, Mariangiola, Plotkin, G. (Gordon), &hellip;

Springer-Verlag