The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in [...]

In its second edition, Helping Clients Forgive , now retitled Forgiveness Therapy , benefits from more than a decade of new research into the innovative and growing field of forgiveness therapy. Forgiveness has been found to be a pivotal process in helping clients resolve anger over betrayals, relie[...]