Introduction to Computing

This book was the first to undertake a comprehensive analysis of the impact of money on the economy, society and culture of the Greek and Roman worlds. It uses new approaches in economic history to explore how money affected the economy in antiquity and demonstrates that the crucial factors in its increasing influence were state-formation, expanding political networks, metal supply and above all an increasing sophistication of credit and contractual law. Covering a wide range of monetary contexts within the Mediterranean over almost a thousand years (c.600 BC–AD 300), it demonstrates that money played different roles in different social and political circumstances. The book will prove an invaluable introduction to upper-level students of ancient money, while also offering perspectives for future research to the specialist.

Although both philosophers and scientists are interested in how to obtain reliable knowledge in the face of error, there is a gap between their perspectives that has been an obstacle to progress. By means of a series of exchanges between the editors and leaders from the philosophy of science, statistics and economics, this volume offers a cumulative introduction connecting problems of traditional philosophy of science to problems of inference in statistical and empirical modelling practice. Philosophers of science and scientific practitioners are challenged to reevaluate the assumptions of their own theories - philosophical or methodological. Practitioners may better appreciate the foundational issues around which their questions revolve and thereby become better 'applied philosophers'. Conversely, new avenues emerge for finally solving recalcitrant philosophical problems of induction, explanation and theory testing.

Originally published in 2005, Core Topics in Pain provides a comprehensive, easy-to-read introduction to this multi-faceted topic. It covers a wide range of issues from the underlying neurobiology, through pain assessment in animals and humans, diagnostic strategies, clinical presentations, pain syndromes, to the many treatment options, for example, physical therapies, drug therapies, psychosocial care and the evidence base for each of these. Written and edited by experts of international renown, the many concise but comprehensive chapters provide the reader with a guide to all aspects of pain. It is an essential book for anaesthetic trainees and is also an invaluable first reference for surgical and nursing staff, ICU professionals, operating department practitioners, physiotherapists, psychologists, healthcare managers and researchers with a need for an overview of the key aspects of the topic.

'Dark energy' is the name given to the unknown cause of the Universe's accelerating expansion, which is one of the most significant and surprising discoveries in recent cosmology. Understanding this enigmatic ingredient of the Universe and its gravitational effects is a very active, and growing, field of research. In this volume, twelve world-leading authorities on the subject present the basic theoretical models that could explain dark energy, and the observational and experimental techniques employed to measure it. Covering the topic from its origin, through recent developments, to its future perspectives, this book provides a complete and comprehensive introduction to dark energy for a range of readers. It is ideal for physics graduate students who have just entered the field and researchers seeking an authoritative reference on the topic.

Although both philosophers and scientists are interested in how to obtain reliable knowledge in the face of error, there is a gap between their perspectives that has been an obstacle to progress. By means of a series of exchanges between the editors and leaders from the philosophy of science, statistics and economics, this volume offers a cumulative introduction connecting problems of traditional philosophy of science to problems of inference in statistical and empirical modelling practice. Philosophers of science and scientific practitioners are challenged to reevaluate the assumptions of their own theories - philosophical or methodological. Practitioners may better appreciate the foundational issues around which their questions revolve and thereby become better 'applied philosophers'. Conversely, new avenues emerge for finally solving recalcitrant philosophical problems of induction, explanation and theory testing.

This outstanding 2004 volume presents an overview of linguistic research into the acquisition of phonology. Bringing together well-known researchers in the field, it focuses on constraints in phonological acquisition (as opposed to rules), and offers concrete examples of the formalization of phonological development in terms of constraint ranking. The first two chapters situate the research in its broader context, with an introduction by the editors providing a brief general tutorial on Optimality Theory. Chapter two serves to highlight the history of constraints in studies of phonological development, which predates their current ascent to prominence in phonological theory. The remaining chapters address a number of partially overlapping themes: the study of child production data in terms of constraints, learnability issues, perceptual development and its relation to the development of production, and second-language acquisition.

This book is an introduction to the emerging field of evolutionary cognitive neuroscience, a branch of neuroscience that combines the disciplines of evolutionary psychology and cognitive neuroscience. It outlines the application of cognitive neuroscientific methods (e.g., functional magnetic resonance imaging, transcranial magnetic stimulation, magneto- and electroencephalography, and the use of neuropsychiatric and neurosurgical patients) to answer empirical questions posed from an evolutionary meta-theoretical perspective. Chapters outline the basics of cognitive evolution and how the methods of cognitive neuroscience can be employed to answer questions about the presence of evolved cognitive adaptations. Written for graduate students and researchers, the book presents the major topics of study undertaken by evolutionary cognitive neuroscientists – such as language evolution, intelligence and face processing – and serves as a primer upon which to base further study in the discipline.

This book is an introduction to the emerging field of evolutionary cognitive neuroscience, a branch of neuroscience that combines the disciplines of evolutionary psychology and cognitive neuroscience. It outlines the application of cognitive neuroscientific methods (e.g., functional magnetic resonance imaging, transcranial magnetic stimulation, magneto- and electroencephalography, and the use of neuropsychiatric and neurosurgical patients) to answer empirical questions posed from an evolutionary meta-theoretical perspective. Chapters outline the basics of cognitive evolution and how the methods of cognitive neuroscience can be employed to answer questions about the presence of evolved cognitive adaptations. Written for graduate students and researchers, the book presents the major topics of study undertaken by evolutionary cognitive neuroscientists – such as language evolution, intelligence and face processing – and serves as a primer upon which to base further study in the discipline.

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

Charles Messier's catalogue of nebulae and star clusters, published in 1784, marked the start of a new era of deep sky astronomy. This tradition of observing galaxies and clusters is kept alive by serious amateur astronomers who study the objects of the deep sky. Nearly all the objects are visible in a small telescope. Many, such as the Crab Nebula and the Andromeda galaxy, are among the most fascinating objects in the universe. Kenneth Glyn Jones has revised his definitive version of Messier's catalogue. His own observations and drawings, together with maps and diagrams, make this a valuable introduction to deep sky observing. Historical and astrophysical notes bring the science of these nebulae to the fore. This is a unique handbook, unlikely ever to be equalled in its completeness and importance to the telescope owner.

This book is exclusively devoted to demonic possession and exorcism in early modern England. It offers modernized versions of the most significant early modern texts on nine cases of demonic possession from the period 1570 to 1650, the key period in English history for demonic possession. The nine stories were all written by eyewitnesses or were derived from eyewitness reports. They involve matters of life and death, sin and sanctity, guilt and innocence, of crimes which could not be committed and punishments which could not be deserved. The nine critical introductions which accompany the stories address the different strategic intentions of those who wrote them. The modernized texts and critical introductions are placed within the context of a wide-ranging general Introduction to demonic possession in England across the period 1550 to 1700.

Over the last decades, a series of dramatic research findings have served to emphasize the vital role of the peroxisome. These findings have included major advances in our understanding of its metabolic roles, genetics and biochemistry, as well as of the broad involvements of peroxisomal diseases. This book provides a basic introduction to the peroxisome and its relationship to other components of eukaryotic cells, followed by a detailed and comprehensive discussion of research advances. Current understanding of the morphology, phylogeny, enzymology and ontogeny of the peroxisome is also reviewed. The book concludes with a chapter on peroxisomes and human disease. The authors are well-respected researchers in this field, and have produced an authoritative and readable text which will appeal to postgraduates and researchers in biochemistry, cell biology and medical science.

This book examines the careers of three performers whose professional lives together spanned the period from the late eighteenth to the late nineteenth centuries, from the heyday of neo-Classicism to the coming of Realism. While the individual essays concentrate on the specific work of Siddons, Rachel and Ristori, a wide-ranging introduction relates their collective achievement to social and cultural change. All three rejuvenated a national repertoire and experimented with new forms of dramatic literature, achieving fame far beyond the boundaries of their own country. As they redefined the nature of tragic experience, as strong and independent women, they contributed greatly to changing concepts of gender and sexuality. Vivid reconstructions of their interpretations and unique accounts of theatrical conditions place the art of three very different but pivotal figures in context.

This user-friendly second edition provides a practical introduction to gynaecological ultrasound. It describes and explains background anatomy and physiology, instrumentation and how to make the best use of equipment. Emphasis is placed on how to maximise image quality, and how to recognise normal and pathological features. The volume also assesses other relevant diagnostic techniques and various management strategies, and evaluates the role of ultrasound as part of patient management. It includes chapters on pathology of the uterus, ovaries and adnexae, paediatric and trauma cases, together with management of infertility and other gynaecological perspectives of patient management. Illustrated throughout with numerous high-quality ultrasound images and line drawings, many of them new for this latest edition, this is essential reading for practitioners in training, including radiologists, gynaecologists and sonographers.

This introduction to the philosophy of social science provides an original conception of the task and nature of social inquiry. Peter Manicas discusses the role of causality seen in the physical sciences and offers a reassessment of the problem of explanation from a realist perspective. He argues that the fundamental goal of theory in both the natural and social sciences is not, contrary to widespread opinion, prediction and control, or the explanation of events (including behaviour). Instead, theory aims to provide an understanding of the processes which, together, produce the contingent outcomes of experience. Offering a host of concrete illustrations and examples of critical ideas and issues, this accessible book will be of interest to students of the philosophy of social science, and social scientists from a range of disciplines.

Essential Bioinformatics is a concise yet comprehensive textbook of bioinformatics, which provides a broad introduction to the entire field. Written specifically for a life science audience, the basics of bioinformatics are explained, followed by discussions of the state-of-the-art computational tools available to solve biological research problems. All key areas of bioinformatics are covered including biological databases, sequence alignment, genes and promoter prediction, molecular phylogenetics, structural bioinformatics, genomics and proteomics. The book emphasizes how computational methods work and compares the strengths and weaknesses of different methods. This balanced yet easily accessible text will be invaluable to students who do not have sophisticated computational backgrounds. Technical details of computational algorithms are explained with a minimum use of mathematical formulae; graphical illustrations are used in their place to aid understanding. The effective synthesis o

This first part of a two-volume set offers a modern account of the representation theory of finite dimensional associative algebras over an algebraically closed field. The authors present this topic from the perspective of linear representations of finite-oriented graphs (quivers) and homological algebra. The self-contained treatment constitutes an elementary, up-to-date introduction to the subject using, on the one hand, quiver-theoretical techniques and, on the other, tilting theory and integral quadratic forms. Key features include many illustrative examples, plus a large number of end-of-chapter exercises. The detailed proofs make this work suitable both for courses and seminars, and for self-study. The volume will be of great interest to graduate students beginning research in the representation theory of algebras and to mathematicians from other fields.

This first part of a two-volume set offers a modern account of the representation theory of finite dimensional associative algebras over an algebraically closed field. The authors present this topic from the perspective of linear representations of finite-oriented graphs (quivers) and homological algebra. The self-contained treatment constitutes an elementary, up-to-date introduction to the subject using, on the one hand, quiver-theoretical techniques and, on the other, tilting theory and integral quadratic forms. Key features include many illustrative examples, plus a large number of end-of-chapter exercises. The detailed proofs make this work suitable both for courses and seminars, and for self-study. The volume will be of great interest to graduate students beginning research in the representation theory of algebras and to mathematicians from other fields.

This 2001 book provides a detailed introduction to the principles of Doppler and polarimetric radar, focusing in particular on their use in the analysis of weather systems. The design features and operation of practical radar systems are highlighted throughout the book in order to illustrate important theoretical foundations. The authors begin by discussing background topics such as electromagnetic scattering, polarization, and wave propagation. They then deal in detail with the engineering aspects of pulsed Doppler polarimetric radar, including the relevant signal theory, spectral estimation techniques, and noise considerations. They close by examining a range of key applications in meteorology and remote sensing. The book will be of great use to graduate students of electrical engineering and atmospheric science as well as to practitioners involved in the applications of polarimetric radar systems.

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses.

Originally published in 2005, Core Topics in Pain provides a comprehensive, easy-to-read introduction to this multi-faceted topic. It covers a wide range of issues from the underlying neurobiology, through pain assessment in animals and humans, diagnostic strategies, clinical presentations, pain syndromes, to the many treatment options, for example, physical therapies, drug therapies, psychosocial care and the evidence base for each of these. Written and edited by experts of international renown, the many concise but comprehensive chapters provide the reader with a guide to all aspects of pain. It is an essential book for anaesthetic trainees and is also an invaluable first reference for surgical and nursing staff, ICU professionals, operating department practitioners, physiotherapists, psychologists, healthcare managers and researchers with a need for an overview of the key aspects of the topic.

This book provides a systematic introduction to the physics behind measurements on plasmas. It develops from first principles the concepts needed to plan, execute, and interpret plasma diagnostics. The book is therefore accessible to graduate students and professionals with little specific plasma physics background, but is also a valuable reference for seasoned plasma physicists. Most of the examples are taken from laboratory plasma research, but the focus on principles makes the treatment useful to all experimental and theoretical plasma physicists, including those interested in space and astrophysical applications. This second edition is thoroughly revised and updated, with new sections and chapters covering recent developments in the field. Specific areas of added coverage include neutral-beam-based diagnostics, flow measurement with mach probes, equilibrium of strongly shaped plasmas and fusion product diagnostics.

In his book, John Green presents a unique personal insight into the fundamentals of fluid mechanics and atmospheric dynamics. Generations of students have benefited from his lectures, and this book, many years in the making, is the result of his wide teaching and research experience. The theory of fluid flow has developed to such an extent that very complex mathematics and models are currently used to describe it, but many of the fundamental results follow from relatively simple considerations: these classic principles are derived here in a novel, distinctive, and at times even idiosyncratic, way. The book is an introduction to fluid mechanics in the atmosphere for students and researchers that are already familiar with the subject, but who wish to extend their knowledge and philosophy beyond the currently popular development of conventional undergraduate instruction.

This is a general introduction to grammaticalization, the change whereby lexical terms and constructions come in certain linguistic contexts to serve grammatical functions, and, once grammaticalized, continue to develop new grammatical functions. The authors synthesize work from several areas of linguistics, including historical linguistics, discourse analysis, and pragmatics. Data are drawn from many languages including Ewe, Finnish, French, Hindi, Hittite, Japanese, Malay, and especially English. This 2003 second edition has been thoroughly revised with substantial updates on theoretical and methodological issues that have arisen in the decade since the first edition, and includes a significantly expanded bibliography. Particular attention is paid to recent debates over directionality in change and the role of grammaticalization in creolization. Grammaticalization will be a valuable and stimulating textbook for all linguists interested in the development of grammatical forms and will

This is a general introduction to grammaticalization, the change whereby lexical terms and constructions come in certain linguistic contexts to serve grammatical functions, and, once grammaticalized, continue to develop new grammatical functions. The authors synthesize work from several areas of linguistics, including historical linguistics, discourse analysis, and pragmatics. Data are drawn from many languages including Ewe, Finnish, French, Hindi, Hittite, Japanese, Malay, and especially English. This 2003 second edition has been thoroughly revised with substantial updates on theoretical and methodological issues that have arisen in the decade since the first edition, and includes a significantly expanded bibliography. Particular attention is paid to recent debates over directionality in change and the role of grammaticalization in creolization. Grammaticalization will be a valuable and stimulating textbook for all linguists interested in the development of grammatical forms and will

Samuel Hartlib was a key figure in the intellectual revolution of the seventeenth century. Originally from Elbing, in Prussig, Hartlib settled permanently in England from the late 1620s until his death in 1662. His aspirations formed a distinctive and influential strand in English intellectual life during those revolutionary decades. This volume reflects the variety of the theoretical and practical interests of Hartlib's circle and presents them in their continental context. The editors of the volume are all attached to the Hartlib Papers Project at the University of Sheffield, a major collaborative research effort to exploit the largely untapped resources of the surviving Hartlib manuscripts. In an introduction to the volume they explore the background to the Hartlib circle and provide the context in which the essays should be read.

This 2001 book provides a detailed introduction to the principles of Doppler and polarimetric radar, focusing in particular on their use in the analysis of weather systems. The design features and operation of practical radar systems are highlighted throughout the book in order to illustrate important theoretical foundations. The authors begin by discussing background topics such as electromagnetic scattering, polarization, and wave propagation. They then deal in detail with the engineering aspects of pulsed Doppler polarimetric radar, including the relevant signal theory, spectral estimation techniques, and noise considerations. They close by examining a range of key applications in meteorology and remote sensing. The book will be of great use to graduate students of electrical engineering and atmospheric science as well as to practitioners involved in the applications of polarimetric radar systems.

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

Habitat fragmentation is one of the most ubiquitous and serious environmental threats confronting the long-term survival of plant and animal species worldwide. As species become restricted to remnant habitats, effective management for long-term conservation requires a quantitative understanding of the genetic and demographic effects of habitat fragmentation, and the implications for population viability. This book provides a detailed introduction to the genetic and demographic issues relevant to the conservation of fragmented populations such as demographic stochasticity; genetic erosion; inbreeding; metapopulation biology and population viability analysis. Also presented are two sets of case studies, one on animals, the other on plants, which illustrate a variety of approaches, including the application of molecular genetic markers, the investigation of reproductive biology, and the combination of demographic monitoring and modeling, to examine long-term population viability.

Habitat fragmentation is one of the most ubiquitous and serious environmental threats confronting the long-term survival of plant and animal species worldwide. As species become restricted to remnant habitats, effective management for long-term conservation requires a quantitative understanding of the genetic and demographic effects of habitat fragmentation, and the implications for population viability. This book provides a detailed introduction to the genetic and demographic issues relevant to the conservation of fragmented populations such as demographic stochasticity; genetic erosion; inbreeding; metapopulation biology and population viability analysis. Also presented are two sets of case studies, one on animals, the other on plants, which illustrate a variety of approaches, including the application of molecular genetic markers, the investigation of reproductive biology, and the combination of demographic monitoring and modeling, to examine long-term population viability.

Charles Arrowby has determined to spend the rest of his days in hermit-like contemplation. He buys a mysteriously damp house on the coast, far from the heady world of the theatre where he made his name, and there he swims in the sea, eats revolting meals and writes his memoirs. But then he meets his childhood sweetheart Hartley, and memories of her lovely, younger self crowd in – along with more recent lovers and friends – to disrupt his self-imposed exile.So instead of ‘learning to be good’, Charles proceeds to demonstrate how very bad he can be. ‘It isn’t all brainy fantasising in Murdochland; there’s wild swimming, appalling sandwiches, death, madness and sex’ Guardian‘Dazzlingly entertaining and inventive’ The TimesWITH AN INTRODUCTION BY DAISY JOHNSON**WINNER OF THE BOOKER PRIZE**

This 1998 book is both an introduction to, and a survey of, some topics of singularity theory; in particular the studying of singularities by means of differential forms. Here some ideas and notions that arose in global algebraic geometry, namely mixed Hodge structures and the theory of period maps, are developed in the local situation to study the case of isolated singularities of holomorphic functions. The author introduces the Gauss–Manin connection on the vanishing cohomology of a singularity, that is on the cohomology fibration associated to the Milnor fibration, and draws on the work of Brieskorn and Steenbrink to calculate this connection, and the limit mixed Hodge structure. This will be an excellent resource for all researchers whose interests lie in singularity theory, and algebraic or differential geometry.

The British idealists made significant and lasting contributions to the social and political thought of the nineteenth century. They contributed to the evolution debate in insisting that the social organism could not be understood in naturalistic terms, but instead had to be conceived as an evolving spiritual unity. In this respect the British idealists developed a distinctive view of the state constitutive of the individual and they are commonly acknowledged as the forerunners of modern communitarian theory. Furthermore the idealists contributed to the major debates of their day, including evolution, democracy, the role of the state, education and international relations. In his introduction, David Boucher develops the themes illustrated in the writings of the British idealists. This volume also contains biographies of the British idealists which incorporate their principal works.

The British idealists made significant and lasting contributions to the social and political thought of the nineteenth century. They contributed to the evolution debate in insisting that the social organism could not be understood in naturalistic terms, but instead had to be conceived as an evolving spiritual unity. In this respect the British idealists developed a distinctive view of the state constitutive of the individual and they are commonly acknowledged as the forerunners of modern communitarian theory. Furthermore the idealists contributed to the major debates of their day, including evolution, democracy, the role of the state, education and international relations. In his introduction, David Boucher develops the themes illustrated in the writings of the British idealists. This volume also contains biographies of the British idealists which incorporate their principal works.

Numerical Recipes in Fortran 90 starts with a detailed introduction to the Fortran 90 language and then presents the basic concepts of parallel programming. All 350+ routines from the second edition of Numerical Recipes are presented in Fortran 90. Many are completely reworked algorithmically so as to be 'parallel-ready' and to utilise Fortran 90's advanced language features. Numerical Recipes in Fortran 90 emphasises general principles, but throughout there are also numerous hints and tips. This volume is intended for use with the original Numerical Recipes in Fortran, 2nd Edition (now called Numerical Recipes in Fortran 77) and does not discuss how the individual programs are used, or how the mathematical methods are used. An excellent guide for Fortran programmers interested in moving to Fortran 90, or C/C++ programmers interested in parallel programming.

Over the last decades, a series of dramatic research findings have served to emphasize the vital role of the peroxisome. These findings have included major advances in our understanding of its metabolic roles, genetics and biochemistry, as well as of the broad involvements of peroxisomal diseases. This book provides a basic introduction to the peroxisome and its relationship to other components of eukaryotic cells, followed by a detailed and comprehensive discussion of research advances. Current understanding of the morphology, phylogeny, enzymology and ontogeny of the peroxisome is also reviewed. The book concludes with a chapter on peroxisomes and human disease. The authors are well-respected researchers in this field, and have produced an authoritative and readable text which will appeal to postgraduates and researchers in biochemistry, cell biology and medical science.

Samuel Hartlib was a key figure in the intellectual revolution of the seventeenth century. Originally from Elbing, in Prussig, Hartlib settled permanently in England from the late 1620s until his death in 1662. His aspirations formed a distinctive and influential strand in English intellectual life during those revolutionary decades. This volume reflects the variety of the theoretical and practical interests of Hartlib's circle and presents them in their continental context. The editors of the volume are all attached to the Hartlib Papers Project at the University of Sheffield, a major collaborative research effort to exploit the largely untapped resources of the surviving Hartlib manuscripts. In an introduction to the volume they explore the background to the Hartlib circle and provide the context in which the essays should be read.

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory. which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory. which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.

The study of spin glasses is a fascinating new topic in condensed matter physics that has attracted considerable attention over recent years. This book gives a comprehensive account of the subject, and will provide a valuable overview and reference to both newcomers and experts in the field. The authors discuss the most important developments in the theory, experimental work and computer modelling of spin glasses. The first chapters give a general introduction to the basic concepts, followed by a discussion of mean field theory, the only well-established spin glass theory so far. This book will be of interest primarily to condensed matter physicists, but because of the potentially wide applications of the theory involved, the book should also appeal to researchers in other disciplines, including theoretical physics, metallurgy and computational neuroscience.