Kluge, W.
Abstract Computing Machines A Lambda Calculus Perspective / [electronic resource] : by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Texts in Theoretical Computer Science, An EATCS Series . - Texts in Theoretical Computer Science, An EATCS Series .
9783540273592
10.1007/b138965 doi
Computer science.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.7-76.73 QA76.76.C65
005.13
Abstract Computing Machines A Lambda Calculus Perspective / [electronic resource] : by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Texts in Theoretical Computer Science, An EATCS Series . - Texts in Theoretical Computer Science, An EATCS Series .
9783540273592
10.1007/b138965 doi
Computer science.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.7-76.73 QA76.76.C65
005.13