Abstract Computing Machines
Kluge, William S.
Abstract Computing Machines A Lambda Calculus Perspective [electronic resource] by W. Kluge; edited by W. Brauer, G. Rozenberg, A. Salomaa - Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 - v.: digital - Texts in Theoretical Computer Science, An EATCS Series .
9783540273592
Computer science
Logic design
Computer Science
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Abstract Computing Machines A Lambda Calculus Perspective [electronic resource] by W. Kluge; edited by W. Brauer, G. Rozenberg, A. Salomaa - Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 - v.: digital - Texts in Theoretical Computer Science, An EATCS Series .
9783540273592
Computer science
Logic design
Computer Science
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs