-
Contract Theory
Despite the vast research literature on topics relating to contract theory, only a few of the field's core ideas are covered in microeconomics textbooks. This long-awaited book fills the need for a comprehensive textbook on contract theory suitable for use at the graduate and advanced undergraduate levels. It covers the areas of agency theory, information economics, and organization theory, highlighting common themes and methodologies and presenting the main ideas in an accessible way. It also presents many applications in all areas of economics, especially labor economics, industrial organization, and corporate finance. The book emphasizes applications rather than general theorems while providing self-contained, intuitive treatment of the simple models analyzed. In this way, it can also serve as a reference for researchers interested in building contract-theoretic models in applied contexts.The book covers all the major topics in contract theory taught in most graduate courses. It begins by discussing such basic ideas in incentive and information theory as screening, signaling, and moral hazard. Subsequent sections treat multilateral contracting with private information or hidden actions, covering auction theory, bilateral trade under private information, and the theory of the internal organization of firms; long-term contracts with private information or hidden actions; and incomplete contracts, the theory of ownership and control, and contracting with externalities. Each chapter ends with a guide to the relevant literature. Exercises appear in a separate chapter at the end of the book. -
Elements of Information Theory
The latest edition of this classic is updated with new problem sets and material The Second Edition of this fundamental textbook maintains the book's tradition of clear, thought-provoking instruction. Readers are provided once again with an instructive mix of mathematics, physics, statistics, and information theory. All the essential topics in information theory are covered in detail, including entropy, data compression, channel capacity, rate distortion, network information theory, and hypothesis testing. The authors provide readers with a solid understanding of the underlying theory and applications. Problem sets and a telegraphic summary at the end of each chapter further assist readers. The historical notes that follow each chapter recap the main points. The Second Edition features: * Chapters reorganized to improve teaching * 200 new problems * New material on source coding, portfolio theory, and feedback capacity * Updated references Now current and enhanced, the Second Edition of Elements of Information Theory remains the ideal textbook for upper-level undergraduate and graduate courses in electrical engineering, statistics, and telecommunications. An Instructor's Manual presenting detailed solutions to all the problems in the book is available from the Wiley editorial department. -
Architecture Theory since 1968
In the discussion of architecture, there is a prevailing sentiment that, since 1968, cultural production in its traditional sense can no longer be understood to rise spontaneously, as a matter of social course, but must now be constructed through ever more self-conscious theoretical procedures. The development of interpretive modes of various stripes--post-structuralist, Marxian, phenomenological, psychoanalytic, as well as others dissenting or eccentric--has given scholars a range of tools for rethinking architecture in relation to other fields and for reasserting architectures general importance in intellectual discourse.This anthology presents forty-seven of the primary texts of architecture theory, introducing each with an explication of the concepts and categories necessary for its understanding and evaluation. It also presents twelve documents of projects or events that had major theoretical repercussions for the period. Several of the essays appear here in English for the first time.Contributors : Diana Agrest, Stanford Anderson, Archizoom, George Baird, Jennifer Bloomer, Massimo Cacciari, Jean-Louis Cohen, Beatriz Colomina, Alan Colquhoun, Maurice Culot, Jacques Derrida, Ignasi de Sola-Morales, Peter Eisenman, Robin Evans, Michel Foucault, Kenneth Frampton, Mario Gandelsonas, Frank Gehry, Jurgen Habermas, John Hejduk, Denis Hollier, Bernard Huet, Catherine Ingraham, Fredric Jameson, Charles A. Jencks, Jeffrey Kipnis, Fred Koetter, Rem Koolhaas, Leon Krier, Sanford Kwinter, Henri Lefebvre, Daniel Libeskind, Mary McLeod, Alberto Perez-Gomez, Jose Quetglas, Aldo Rossi, Colin Rowe, Massimo Scolari, Denise Scott Brown, Robert Segrest, Jorge Silvetti, Robert Somol, Martin Steinmann, Robert A. M. Stern, James Stirling, Manfredo Tafuri, Georges Teyssot, Bernard Tschumi, Anthony Vidler, Paul Virilio, Mark Wigley. -
Types 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 introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages. -
Introduction to the Theory of Computation
This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs. -
Beginning Theory
Beginning theory has been helping students navigate through the thickets of literary and cultural theory for well over a decade now. This new and expanded third edition continues to offer students and readers the best one-volume introduction to the field. The bewildering variety of approaches, theorists and technical language is lucidly and expertly unravelled. Unlike many books which assume certain positions about the critics and the theories they represent, Peter Barry allows readers to develop their own ideas once first principles and concepts have been grasped. The book has been updated and includes two new chapters, one of which (Literary theory - a history in ten events) innovatively surveys the course of theory, while the other (Theory after 'Theory') maps the arrival of new 'isms' since the second edition appeared in 2002. Liberal humanism - Structuralism - Post-structuralism and deconstruction - Postmodernism - Psychoanalytic criticism - Feminist criticism - Lesbian/gay criticism - Marxist criticism - New historicism and cultural materialism - Postcolonial criticism - Stylistics - Narratology - Ecocriticism - Presentism/Transversal poetics/ New aestheticism/Historical formalism/Cognitive poetics.