A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming languages from a type-theoretic perspective-has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introd...

A comprehensive introduction to using the tools and techniques of neuroscience to understand how consumers make decisions about purchasing goods and services. Contrary to the assumptions of economists, consumers are not always rational actors who make decisions in their own best interests. The new field of behavioral economics draws on the insights of psychology to study non-rational decision making. The newer field of consumer neuroscience draws on the findings, tools, and techniques of neur...

An impassioned look at games and game design that offers the most ambitious framework for understanding them to date.