Lambda-calculus and combinators, an introduction

>> Amazon.co.jp

このページのQRコード

Lambda-calculus and combinators, an introduction

種類:

図書

責任表示:

J. Roger Hindley, Jonathan P. Seldin

出版情報:

Cambridge : Cambridge University Press, c2008

著者名:

ISBN:

9780521898850 [0521898854] (: hbk)

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Combinatory logic; Lambda calculus
分類・件名:	LCC : QA9.5 DC22 : 511.3/5 LCSH : Lambda calculus LCSH : Combinatory logic
LCCN:	2008006276
TTLL:	eng
言語:	英語
形態:	xi, 345 p. : 24 cm
書誌ID:	BA86451211

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Introduction to combinators and λ-calculus Hindley, J. Roger, Seldin, Jonathan P Cambridge University Press	7 図書 Lambda calculi : a guide for computer scientists Hankin, Chris Clarendon Press, Oxford University Press
2 図書 Lambda-calculus, combinators, and functional programming Révész, György E. 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 図書 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.	9 図書 Lambda II Hendrix, Roger W. Cold Spring Harbor Laboratory
4 図書 An introduction to functional programming through Lambda calculus Michaelson, Greg Addison-Wesley	10 図書 Basic simple type theory Hindley, J. Roger Cambridge University Press
5 図書 Domains and lambda-calculi Amadio, Roberto M, Curien, P.-L. (...Pierre-Louis...) Cambridge University Press	11 図書 Refinement calculus : a systematic introduction Back, Ralph-Johan, Wright, J. (Joakim) von, 1955- Springer
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 図書 Combinatory logic Curry, Haskell B. (Haskell Brooks), 1900- North-Holland Pub. Co.