This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to...

We are the technologically inclined and normality spurned, or at least, this is how we perceive (or perhaps want) things to be. We are adept at dealing with machines, and manipulating things. Everything comes easy to us, and when things always come to you without any failure, you begin to feel nothing matters… that the...

If you manage and administer SQL Server 2008 in the real world, you need this detailed guide at your desk. From planning to disaster recovery, this practical book explores tasks and scenarios that a working SQL Server DBA faces regularly and...

This volume investigates the neglected topic of mental action, and shows its importance for the metaphysics, epistemology, and phenomenology of mind. Twelve specially written essays address such questions as the following: Which phenomena should we count as mental actions--imagining, remembering, judging, for instance? How should we explain our...