Exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems.
© 2025 momox SE Berlin. Buy used CDs, DVDs, books, films and games cheaply and securely online.