This book acknowledges the contribution of language, motivation And cultural factors to the acquisition of literacy. It demonstrates how psychological research contributes to our understanding of oth the nature of literacy and reading development. It provides information for practitioners and students on research into literacy and its acquisition. This volume demonstrates how psychological research helps us to better understand the reading process and its development. In recent years, there has been increasing emphasis on the idea of reading as a 'socio-cultural' phenomenon, which is derived from the idea that reading is not an isolated skill, but is necessarily related to the purposes reading will be put to in particular social and cultural contexts. Reading Development and the Teaching of Reading acknowledges the undoubted contribution of language, motivation and cultural factors to the acquisition of literacy' whilst engaging with the contribution of scientific experimental research to the understanding of reading and its development. The prominent contributors to the book demonstrate how psychological research contributes to our understanding of both the nature of literacy and reading development. Practitioners, researchers and students will find in this volume an invaluable source of information on research into literacy and its acquisition. The origins of this book were in a special issue of the Journal of Research in Reading (a United Kingdom Reading Association Journal)

(Cambridge Tracts in Theoretical Computer Science ; 52). This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics. Seven chapters deal with various aspects of bisimulation and coinduction: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.