The Haskell Road to Logic, Maths and Programming. Second Edition

Kees Doets, Van Jan Eijck

• Paperback | Engels | Texts in Computing
• Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road... Lees meer

An Introduction to Lambda Calculi for Computer Scientists

C Hankin

• Paperback | Engels | Texts in Computing
• The lambda-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant influ... Lees meer

The Mathematics of the Models of Reference

Francesco Berto, Gabriele Rossi, Jacopo Tagliabue

• Paperback | Engels | Texts in Computing
• The Mathematics of the Models of Reference is a detailed exposition of the modeling of physical and informational reality pursued by iLabs Milan ( www... Lees meer

Implementing Programming Languages. an Introduction to Compilers and Interpreters

Aarne Ranta

• Paperback | Engels | Texts in Computing
• Implementing a programming language means bridging the gap from the programmer's high-level thinking to the machine's zeros and ones. If this is done ... Lees meer

Acts of the Progamme Sematics and Syntax

• Paperback | Engels | Texts in Computing
• The research programme Semantics and Syntax: A Legacy of Alan Turing, held at the Isaac Newton Institute for the Mathematical Sciences in Cambridge, U... Lees meer