詳細情報

刊年

2008

形態

xi, 345 p. : ill. ; 24 cm

注記

Includes bibliographical references (p. 323-333) and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Hindley, J. Roger [ Hindley, R. (Roger) ] [ Hindley, J. R. (J. Roger) ] [ Hindley, Roger ]

Seldin, Jonathan P [ Seldin, J. P ]

分類

LCC:QA9.5

DC22:511.3/5

件名

Lambda calculus

Combinatory logic

ISBN

9780521898850 (: hbk)

NCID

BA86451211

番号

LCCN : 2008006276