Record:   Prev Next
作者 Hindley, J. Roger
書名 Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin
出版項 Cambridge, UK ; New York : Cambridge University Press, c2008
國際標準書號 9780521898850 (hardback)
0521898854 (hardback)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.5 H565 2008    在架上    30340200497554
說明 xi, 345 p. : ill. ; 24 cm
附註 Includes bibliographical references (p. 323-333) and index
主題 Lambda calculus
Combinatory logic
Alt Author Seldin, J. P
Record:   Prev Next