The combinatory programme

このページのQRコード

種類:

図書

責任表示:

Erwin Engeler ; in collaboration with K. Aberer ... [et. al]

出版情報:

Boston : Birkhäuser, 1995

著者名:

シリーズ名:

Progress in theoretical computer science <BA1282110X>

ISBN:

9780817638016 [0817638016] (: us)

9783764338015 [3764338016] (: gw)

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

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

詳細

主題:	Combinatory logic
分類・件名:	LCC : QA9.5 DDC : 511.3 LCSH : Combinatory logic
LCCN:	94036651
TTLL:	eng
言語:	英語
形態:	142 p. : ill. ; 25 cm
書誌ID:	BA23957216

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Combinatory logic Curry, Haskell B. (Haskell Brooks), 1900- North-Holland Pub. Co.	7 図書 Introduction to combinators and λ-calculus Hindley, J. Roger, Seldin, Jonathan P Cambridge University Press
2 図書 Combinatory logic : pure, applied and typed Bimbó, Katalin, 1963- CRC Press, Taylor & Francis Group : Chapman & Hall Book	8 図書 Lambda-calculus, combinators, and functional programming Révész, György E. Cambridge University Press
3 図書 Introduction to the theory of computation Engeler, Erwin, 1930- Academic Press	9 図書 Logic of programs : workshop, ETH Zürich, May-July 1979 Engeler, Erwin, 1930-, Eidgenössische Technische Hochschule Zürich Springer
4 図書 Symposium on semantics of algorithmic languages : [papers] Engeler, Erwin, 1930- Springer-Verlag	10 電子ブック Logic of Programs : Workshop, ETH Zürich, May–July 1979 Engeler, Erwin, SpringerLink (Online service) Springer-Verlag
5 図書 Formal languages; automata and structures Engeler, Erwin, 1930- Markham Pub. Co	11 図書計算の理論入門稲垣, 康善(1939-), Engeler, Erwin, 1930- 日本コンピュータ協会
6 図書 Lambda-calculus and combinators, an introduction Hindley, J. Roger, Seldin, Jonathan P Cambridge University Press	12 図書 The BBI combinatory dictionary of English : a guide to word combinations Benson, Morton, Benson, Evelyn, Ilson, Robert J. Benjamins