载入...
Lambda-calculus and combinators, an introduction /
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Printed Book |
| 语言: | English |
| 出版: |
Cambridge, UK ; New York :
Cambridge University Press,
c2008.
|
| 主题: |
| 实物描述: | xi, 345 p. : ill. ; |
|---|---|
| ISBN: | 9780521898850 (hardback) 0521898854 (hardback) |