Logic of Java programming

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.

In the fast moving world of information technology, Java is now the number 1 programming language. Programmers and developers everywhere need to know Java to keep pace with traditional and web-based application development. COBOL Programmers Swing with Java provides COBOL programmers a clear, easy transition to Java programming by drawing on the numerous similarities between COBOL and Java. The authors introduce the COBOL programmer to the history of Java and object-oriented programming and then dive into the details of the Java syntax, always contrasting them with their parallels in COBOL. A running case study gives the reader an overall view of application development with Java, with increased functionality as new material is presented. This new edition features the development of graphical user interfaces (GUI's) using the latest in Java Swing components. The clear writing style and excellent examples make the book suitable for anyone wanting to learn Java and OO programming, whethe

This Element discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the challenge to explain the (defeasible) justification of our mathematical beliefs ('the justificatory challenge'), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the challenge to explain their reliability ('the reliability challenge'), arises to the extent that we could have easily had different beliefs. The Element shows that mathematical facts are not, in general, empirically accessible, contra Quine, and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is unmysterious. The Element concludes with a complementary 'pluralism' about modality, logic and normative theory, highlighting its surprising implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap

Formal Models of Domestic Politics offers a unified and accessible approach to canonical and important new models of politics. Intended for political science and economics students who have already taken a course in game theory, this new edition retains the widely appreciated pedagogic approach of the first edition. Coverage has been expanded to include a new chapter on nondemocracy; new material on valance and issue ownership, dynamic veto and legislative bargaining, delegation to leaders by imperfectly informed politicians, and voter competence; and numerous additional exercises. Political economists, comparativists, and Americanists will all find models in the text central to their research interests. This leading graduate textbook assumes no mathematical knowledge beyond basic calculus, with an emphasis placed on clarity of presentation. Political scientists will appreciate the simplification of economic environments to focus on the political logic of models; economists will discov

JavaTech is a practical introduction to the Java programming language with an emphasis on the features that benefit technical computing. After presenting the basics of object-oriented programming in Java, it examines introductory topics such as graphical interfaces and thread processes. It goes on to review network programming and develops Web client-server examples for tasks such as monitoring remote devices. The focus then shifts to distributed computing with RMI. Finally, it examines how Java programs can access the local platform and interact with hardware. Topics include combining native code with Java, communication via serial lines, and programming embedded processors. An extensive web site supports the book with additional instructional materials. JavaTech demonstrates the ease with which Java can be used to create powerful network applications and distributed computing applications. It will be used as a textbook for programming courses, and by researchers who need to learn Jav

JavaTech is a practical introduction to the Java programming language with an emphasis on the features that benefit technical computing. After presenting the basics of object-oriented programming in Java, it examines introductory topics such as graphical interfaces and thread processes. It goes on to review network programming and develops Web client-server examples for tasks such as monitoring remote devices. The focus then shifts to distributed computing with RMI. Finally, it examines how Java programs can access the local platform and interact with hardware. Topics include combining native code with Java, communication via serial lines, and programming embedded processors. An extensive web site supports the book with additional instructional materials. JavaTech demonstrates the ease with which Java can be used to create powerful network applications and distributed computing applications. It will be used as a textbook for programming courses, and by researchers who need to learn Jav

Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area.

Fundamentals of OOP and Data Structures in Java is a text for an introductory course on classical data structures. Part One of the book presents the basic principles of Object-Oriented Programming (OOP) and Graphical User Interface (GUI) programming with Java as the example language. Part Two introduces each of the major data structures with supporting, GUI-based laboratory programs designed to reinforce the basic concepts and principles of the text. These laboratories allow the reader to explore and experiment with the properties of each data structure. All source code for the laboratories is available on the web. By integrating the principles of OOP and GUI programming, this book takes the unique path of presenting the fundamental issues of data structures within the context of paradigms that are essential to today's professional software developer. The authors assume the reader has only an elementary understanding of Java and no experience with OOP.

Two legal systems founded on similar Enlightenment philosophical and political values use state coercion differently to regulate a liberty at the core of the Enlightenment: freedom of expression. This comparative study of France and the United States proposes a novel theory of how the limits of freedom of expression are informed by different revolutionary experiences and constitutional and political arrangements. Ioanna Tourkochoriti argues that the different ways freedom of expression is balanced against other values in France and the United States can be understood in reference to the role of the government and the understanding of republicanism and liberty. This understanding affects how jurists define the content and the limits of a liberty and strike a balance between liberties in conflict. Exploring both the legal traditions of the two countries, this study sheds new light on the broader historical, social and philosophical contexts in which jurists operate.

Drawing on Chinese cultural and philosophical traditions, this book offers a ground breaking reinterpretation of world politics from Yaqing Qin, one of China's leading scholars of international relations. Qin has pioneered the study of constructivism in China and developed a variant of this approach, arguing that culture defined in terms of background knowledge nurtures social theory and enables theoretical innovation. Building upon this argument, this book presents the concept of 'relationality', shifting the focus from individual actors to the relations amongst actors. This ontology of relations examines the unfolding processes whereby relations create the identities of actors and provide motivations for their actions. Appealing to scholars of international relations theory, social theory and Chinese political thought, this exciting new concept will be of particular interest to those who are seeking to bridge Eastern and Western approaches for a truly global international relations p

This book provides the definitive reference point on all the issues pertaining to dealing with the 'crisis of the rule of law' in the European Union. Both Member State and EU levels are considered. Particular attention is paid to the analysis of the concrete legal bases and instruments that the EU may avail itself of for enforcing rule of law, and the volume clearly demonstrates that a number of legally sound ways of rule of law oversight are available. Contributors are leading scholars who assess the potential role to be played by the various bodies in the context of dealing with the EU's rule of law imperfections.

The balance of the world economy is shifting away from the established economies of Europe, Japan, and the USA, towards the emerging economies of Asia, especially India and China. With contributions from some of the world's leading growth theorists, this book analyses the long-term process of structural change and productivity growth across the world from a unique comparative perspective. Ongoing research from the World KLEMS Initiative is used to comparatively study new sources of growth - including the role of investment in intangible assets, human capital, technology catch-up, and trade in global value chains. This book provides comparisons of industries and economies that are key to analysing the impacts of international trade and investment. This makes it an ideal read for academics and students interested in understanding current patterns of economic growth. It will also be of value to professionals with an interest in the drivers of economic growth and crisis.

Public perceptions of political ethics are at the heart of current political debate. Drawing on original data, this book is the first general account of popular understandings of political ethics in contemporary British politics. It offers new insights into how citizens understand political ethics and integrity and how they form judgments of their leaders. By locating these insights against the backdrop of contemporary British political ethics, the book shows how current institutional preoccupations with standards of conduct all too often miss the mark. While the use of official resources is the primary focus of much regulation, politicians' consistency, frankness and sincerity, which citizens tend to see in terms of right and wrong, are treated as 'normal politics'. The authors suggest that new approaches may need to be adopted if public confidence in politicians' integrity is to be restored.

First published in 1818, The World as Will and Representation contains Schopenhauer's entire philosophy, ranging through epistemology, metaphysics, philosophy of mind and action, aesthetics and philosophy of art, to ethics, the meaning of life and the philosophy of religion, in an attempt to account for the world in all its significant aspects. It gives a unique and influential account of what is and is not of value in existence, the striving and pain of the human condition and the possibility of deliverance from it. This translation of the first volume of what later became a two-volume work reflects the eloquence and power of Schopenhauer's prose and renders philosophical terms accurately and consistently. It offers an introduction, glossary of names and bibliography, and succinct editorial notes, including notes on the revisions of the text which Schopenhauer made in 1844 and 1859.

Is the science of moral cognition usefully modelled on aspects of Universal Grammar? Are human beings born with an innate 'moral grammar' that causes them to analyse human action in terms of its moral structure, with just as little awareness as they analyse human speech in terms of its grammatical structure? Questions like these have been at the forefront of moral psychology ever since John Mikhail revived them in his influential work on the linguistic analogy and its implications for jurisprudence and moral theory. In this seminal book, Mikhail offers a careful and sustained analysis of the moral grammar hypothesis, showing how some of John Rawls' original ideas about the linguistic analogy, together with famous thought experiments like the trolley problem, can be used to improve our understanding of moral and legal judgement.

Interdisciplinary Perspectives on International Law and International Relations: The State of the Art brings together the most influential contemporary writers in the fields of international law and international relations to take stock of what we know about the making, interpretation and enforcement of international law. The contributions to this volume critically explore what recent interdisciplinary work reveals about the design and workings of international institutions, the various roles played by international and domestic courts, and the factors that enhance compliance with international law. The volume also explores how interdisciplinary work has advanced theoretical understandings of the causes and consequences of the increased legalization of international affairs.

In this volume, first published in 1963, Cambridge lecturer R. G. Popperwell provides a fascinating and highly accessible guide to the correct pronunciation of Norwegian. In a text rich with examples and useful explanations, Popperwell introduces the reader to the intricacies of the Norwegian spoken in both Oslo specifically, and eastern Norway in general. Following an introductory chapter which looks at the organs of speech and their constitution, Popperwell talks the reader through the pronunciation of Norwegian vowels and diphthongs before furnishing them with the knowledge required to turn an understanding of written Norwegian into a successful cognition of the way the language is spoken. Popperwell writes on the syllabic qualities of the language, the stresses most regularly used and the rhythmic qualities of spoken Norwegian. This book is both thorough and engaging, and will be of great use to any student of the Norwegian language.

This is a fascinating and unique account of Britain's rise as a global imperial power told through the lives of over forty individuals from a huge range of backgrounds. Miles Ogborn relates and connects the stories of monarchs and merchants, planters and pirates, slaves and sailors, captives and captains, reactionaries and revolutionaries, artists and abolitionists from all corners of the globe. These dramatic stories give new life to the exploration of the history and geography of changing global relationships, including settlement in North America, the East India Company's trade and empire, transatlantic trade, the slave trade, the rise and fall of piracy, and scientific voyaging in the Pacific. Through these many biographies, including those of Anne Bonny, Captain Cook, Queen Elizabeth I, Pocahontas, and Walter Ralegh, early modern globalisation is presented as something through which different people lived in dramatically contrasting ways, but in which everyone played a part.

In this interesting study, Jenny Edkins explores how we remember traumatic events such as wars, famines, genocides and terrorism, and questions the assumed role of commemorations as simply reinforcing state and nationhood. Taking examples from the World Wars, Vietnam, the Holocaust, Kosovo and September 11th, Edkins offers a thorough discussion of practices of memory such as memorials, museums, remembrance ceremonies, the diagnosis of post-traumatic stress and the act of bearing witness. She examines the implications of these commemorations in terms of language, political power, sovereignty and nationalism. She argues that some forms of remembering do not ignore the horror of what happened but rather use memory to promote change and to challenge the political systems that produced the violence of wars and genocides in the first place. This wide-ranging study embraces literature, history, politics and international relations, and makes a significant contribution to the study of memory.

Things which we regard as the everyday objects of consumption (and hence re-purchase), and essential to any decent, civilised lifestyle, have not always been so: in former times, everyday objects would have passed from one generation to another, without anyone dreaming of acquiring new ones. How, therefore, have people in the modern world become 'prisoners of objects', as Rousseau put it? The celebrated French cultural historian Daniel Roche answers this fundamental question using insights from economics, politics, demography and geography, as well as his own extensive historical knowledge. Professor Roche places familiar objects and commodities - houses, clothes, water - in their wider historical and anthropological contexts, and explores the origins of some of the daily furnishings of modern life. A History of Everyday Things is a pioneering essay that sheds light on the origins of the consumer society and its social and political repercussions, and thereby the birth of the modern w

Christine Korsgaard has become one of the leading interpreters of Kant's moral philosophy. She is identified with a small group of philosophers who are intent on producing a version of Kant's moral philosophy that is at once sensitive to its historical roots while revealing its particular relevance to contemporary problems. She rejects the traditional picture of Kant's ethics as a cold vision of the moral life which emphasises duty at the expense of love and value. Rather, Kant's work is seen as providing a resource for addressing not only the metaphysics of morals, but also for tackling practical questions about personal relations, politics, and everyday human interaction. This collection contains some of the finest current work on Kant's ethics and will command the attention of all those involved in teaching and studying moral theory.

Nature's Economy is a wide-ranging investigation of ecology's past, first published in 1994. It traces the origins of the concept, discusses the thinkers who have shaped it, and shows how it in turn has shaped the modern perception of our place in nature. Our view of the living world is a product of culture, and the development of ecology since the eighteenth century has closely reflected society's changing concerns. Donald Worster focuses on these dramatic shifts in outlook and on the individuals whose work has expressed and influenced society's point of view. The book includes portraits of Linnaeus, Gilbert White, Darwin, Thoreau, and such key twentieth-century ecologists as Rachel Carson, Frederic Clements, Aldo Leopold, James Lovelock, and Eugene Odum.

This volume brings together original essays by scholars working on a diverse range of empirical issues, but whose work is in each case informed by a 'historical institutional' approach to the study of politics. By bringing these pieces together, the volume highlights the methodological and theoretical foundations of this approach and illustrates the general contributions it has made to comparative politics. The essays demonstrate the potential of the approach to illuminate a broad range of issues such as how and why institutions change, how political ideas are filtered through institutional structures in the formation of specific policies, and how institutional structure can have unintended effects on the shaping of policy. The reader is provided with both a thorough understanding of the method of analysis and an overview of the theoretical underpinnings of the approach.

The prediction of the special theory of relativity differ significantly from those of Newtonian physics only for bodies whose speeds are comparable with the speed of light. For this reason, special relativity is often considered as irrelevant to the macroscopic physics of ordinary material systems under terrestrial conditions. The aim of this book is to show that by uniting dynamics, thermodynamics and electromagnetism into a coherent whole, special relativity illuminated each of these subjects in a manner which cannot be obtained by studying them in isolation. The speed of the systems concerned is irrelevant. This deep and careful analysis of special relativity is suitable for second- and subsequent- year university students studying physics or applied mathematics. Its distinctive approach will also appeal to research workers in general relativity, in continuum thermodynamics and in the electrodynamics of continuous media.

Building on his highly successful textbook on C++, David Yevick provides a concise yet comprehensive one-stop course in three key programming languages, C++, Java and Octave (a freeware alternative to MATLAB). Employing only public-domain software, this book presents a unique overview of numerical and programming techniques, including object-oriented programming, elementary and advanced topics in numerical analysis, physical system modelling, scientific graphics, software engineering and performance issues. Compact, transparent code in all three programming languages is applied to the fundamental equations of quantum mechanics, electromagnetics, mechanics and statistical mechanics. Uncommented versions of the code that can be immediately modified and adapted are provided online for the more involved programs. This compact, practical text is an invaluable introduction for students in all undergraduate- and graduate-level courses in the physical sciences or engineering that require numer

Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.

Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.

This is an introduction to programming using Microsoft's Visual Basic.NET 2010, intended for novice programmers with little or no programming experience or no experience with Visual Basic. The text emphasizes programming logic and good programming techniques with generous explanations of programming concepts written from a non-technical point of view. It stresses input, processing, and output and sequence, selection, and repetition in code development. File I/O and arrays are included. Later chapters introduce objects, event programming, and databases. By taking a slow and steady approach to programming ideas, this book builds new concepts from what the reader has already learned. VB tips and quips inject both humor and insight. The book includes numerous programming examples and exercises, case studies, tutorials, and 'fixing a program' sections for an in-depth look at programming problems and tools. Quizzes and review questions throughout each chapter get students to think about the

This is an introduction to programming using Microsoft's Visual Basic.NET 2010, intended for novice programmers with little or no programming experience or no experience with Visual Basic. The text emphasizes programming logic and good programming techniques with generous explanations of programming concepts written from a non-technical point of view. It stresses input, processing, and output and sequence, selection, and repetition in code development. File I/O and arrays are included. Later chapters introduce objects, event programming, and databases. By taking a slow and steady approach to programming ideas, this book builds new concepts from what the reader has already learned. VB tips and quips inject both humor and insight. The book includes numerous programming examples and exercises, case studies, tutorials, and 'fixing a program' sections for an in-depth look at programming problems and tools. Quizzes and review questions throughout each chapter get students to think about the

Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Gödel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest

Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems. Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science.

Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical inference rules, i.e. deduction (in contrast with model-theoretic approaches, deductive methods can be automated to some extent). His treatment of the subject differs from others in that he tries to capture the actual styles and applications of programming; neither too general with respect to the underlying logic, nor too restrictive for the practice of programming. He generalizes and unifies results from classical theorem-proving and term rewriting to provide proof methods tailored to declarative program synthesis and verification. Detailed examples accompany the development of the methods, whose use is supported by a documented prototyping system. The book can be used for graduate courses or as a reference fo

Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area.

Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Gödel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest

International Law is the definitive and authoritative text on the subject. It has long been established as a leading authority in the field, offering an unbeatable combination of clarity of expression and academic rigour, ensuring understanding and analysis in an engaging and authoritative style. Explaining the leading rules, practice and caselaw, this treatise retains and develops the detailed referencing which encourages and assists the reader in further study. This new edition has been fully updated to reflect recent developments. In particular, it has expanded the treatment of space law and of international economic law, and introduced new sections on cyber operations and cyber warfare, as well as reflecting the Covid-19 crisis. Both clarifying fundamental principles and facilitating additional research, International Law is invaluable for students and for those occupied in private practice, governmental service and international organisations.

Connecting theory with real-life applications, this is the first ever textbook to equip students with a comprehensive knowledge of all the key concepts in bionanotechnology. By bridging the interdisciplinary gap from which bionanotechnology emerged, it provides a systematic introduction to the subject, accessible to students from a wide variety of backgrounds. Topics range from nanomaterial preparation, properties and biofunctionalisation, and analytical methods used in bionanotechnology, to bioinspired and DNA nanotechnology, and applications in biosensing, medicine and tissue engineering. Throughout the book, features such as 'Back to basics' and 'Research report' boxes enable students to build a strong theoretical knowledge and to link this to practical applications and up-to-date research. With over 200 detailed, full-colour illustrations and more than 100 end-of-chapter problems, this is an essential guide to bionanotechnology for any student studying this exciting, fast-developin

The scale of China's innovation ambitions inspires worldwide commentary, much of it poorly informed. Focusing on electricity, telecommunication and semiconductors, this book offers a richly detailed account of China's innovation efforts. Massive application of human, policy and financial resources shows great promise, but institutional obstacles, conflicting objectives, ill-advised policies and Soviet-era legacies inject inefficiencies, resulting in a complex mosaic of success and failure in both technical and commercial dimensions. State Grid leads the world in high-voltage power transmission, while domestic semiconductors lag behind the international frontier. Electricity and telecom providers record impressive technical advances, but overinvestment and inefficient operation contribute to high costs and prices. Nuclear power combines technical excellence with commercial weakness. Cost reduction rather than new technology underpins commercial success in solar materials. The book's gra

Plant remains can preserve a critical part of history of life on Earth. While telling the fascinating evolutionary story of plants and vegetation across the last 500 million years, this book also crucially offers non-specialists a practical guide to studying, dealing with and interpreting plant fossils. It shows how various techniques can be used to reveal the secrets of plant fossils and how to identify common types, such as compressions and impressions. Incorporating the concepts of evolutionary floras, this second edition includes revised data on all main plant groups, the latest approaches to naming plant fossils using fossil-taxa and techniques such as tomography. With extensive illustrations of plant fossils and living plants, the book encourages readers to think of fossils as once-living organisms. It is written for students on introductory or intermediate courses in palaeobotany, palaeontology, plant evolutionary biology and plant science, and for amateurs interested in studyin

In his previous Schumpeter Prize-winning work, Lee analysed the 'middle-income trap', in which a developing country grows strongly only to plateau at a certain point. Yet certain developing countries, most significantly China, have managed to escape this trap. Building on the conception of the ladder from developing to developed countries being kicked way, this book suggests alternative ways, such as 'leapfrogging', in which latecomers can catch up with their forerunners. Providing policy solutions for development challenges in non-technical terms, Lee frames his theories with insightful and inventive allegories. In doing so, Lee also accounts for the catch-up paradox, in which one cannot conclusively catch-up if they are continually trying to follow the path of those ahead. He argues that eventual catch-up and overtaking require pursuing a path that differs from that taken by forerunners. This highly original and accessible book will appeal to students, scholars, practitioners, and an

The Cambridge Companion to World Literature introduces the significant ideas and practices of world literary studies. It provides a lucid and accessible account of the fundamental issues and concepts in world literature, including the problems of imagining the totality of literature; comparing literary works across histories, cultures and languages; and understanding how literary production is affected by forces such as imperialism and globalization. The essays demonstrate how detailed critical engagements with particular literary texts call forth differing conceptions of world literature, and, conversely, how theories of world literature shape our practices of readings. Subjects covered include cosmopolitanism, transnationalism, internationalism, scale and systems, sociological criticism, translation, scripts, and orality. This book also includes original analyses of genres and forms, ranging from tragedy to the novel and graphic fiction, lyric poetry to the short story and world cine