Abstract Computing Machines A Lambda Calculus Perspective

• Main Author: Kluge, William S.
• Other Authors: Brauer, W., Rozenberg, Grzegorz, Salomaa, A.
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
• Series: Texts in Theoretical Computer Science, An EATCS Series
• Subjects: Computer science; Logic design; Computer Science; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs