Abstract computing machines a lambda calculus perspective

SubTitle

a lambda calculus perspective

Author Statement

W. Kluge.

Publication

Springer

Publication Year

c2005

Collation

xiv, 384 p. 89 fig. 25 cm

Series

Texts in theoretical computer science

Notes

Includes bibliographical references (p. [369]-375) and index.

Subject

Machine theory. , Lambda calculus.

Main class

511.3

Link To Document