A programming language based on a higher-order logic provides an elegant and declarative approach to capturing computations involving types, proofs, and other syntactic structures.[...]
Organized around the theme of self-censorship -- the disconnect between what people privately think or feel and how they act publicly -- this brief seven-chapter text introduces students to social psychology by focusing on the field's most interesting studies and real-world applications. An INVITATI[...]
The writings of John Stuart Mill have become the cornerstone of political liberalism. Collected for the first time in this volume are Mill?s three seminal and most widely read works: On Liberty, The Subjection of Women, and Utilitarianism. A brilliant defense of individual rights versus the power of[...]
Intended as a companion to AN INVITATION TO SOCIAL PSYCHOLOGY, this reader includes carefully selected articles that introduce students to the field of social psychology.[...]