Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

by Paul Callaghan (Editor)

This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held 8th - 12th of December, 2000 at the University of Durham, Durham, UK. It was attended by about 80 researchers. The workshop follows a series of meetings organised in 1993, 1994, 1995, 1996, 1998, and 1999 under the auspices of the Esprit BRA6435 and the - prit Working Group 21900 for the previous TYPES projects. Those proceedings were also published in the LNCS series, edited by Henk Barendregt and Tobias Nipkow (Vol. 806, 1993), by Peter Dybjer, Bengt Nordstr]om, and Jan Smith (Vol. 996, 1994), by Stefano Berardi and Mario Coppo (Vol. 1158, 1995), by Christine Paulin-Mohring and Eduardo Gimenez (Vol. 1512, 1996), by Thorsten Altenkirch, Wolfgang Naraschewski, and Bernhard Reus (Vol. 1657, 1998), and by Thierry Coquand, Peter Dybjer, Bengt Nordstr]om, and Jan Smith (Vol. 1956, 1999). The Esprit BRA6453 was itself a continuation of the former Esprit - tion 3245, Logical Design, Implementation, and Experiments. The articles from the annual workshops under that Action were edited by Gerard Huet and Gordon Plotkin in the books Logical Frameworks and Logical En- ronments, both published by Cambridge University Press. Acknowledgements We are very grateful to members of Durham's Computer Assisted Reasoning Group, especially Robert Kießling, for helping to organise the workshop. Robert's contribution was key to the success of the meeting.

256 pages, Paperback

First published March 22, 2002

About the author

Paul Callaghan is a First Nations custodian in the land now called Australia. Paul belongs to the land of the Worimi people which is located on the east coast of Australia about 2 hours north of Sydney, New South Wales. He is an Aboriginal story teller and dancer. Paul has held a number of senior executive positions in his career and has qualifications in a diverse range of disciplines including surveying, drafting, accounting, economics, training, executive leadership, emotional intelligence, company boards, and executive/organisational coaching.
Paul’s passion however has always been around healing individuals, communities and the Earth our Mother. His corporate roles have always incorporated this passion.
Paul has been ‘going bush’ for many, many years and learning traditional ‘Lore’ from his Elders much of which he is willing to share with those who respect it.
Paul also ran a very successful spiritual/energy healing practice for many years with a wide variety of clients and illnesses.
The underpinning foundation of the book is his journey through depression and the role Aboriginal culture, spirituality and philosophy had in not only enabling him to recover, but also empowering him to live life by his truth rather than everybody else’s expectations. The book has a number of exercises and models based on his experience aimed at assisting people from all walks of life to build the courage and skills to live a life of purpose, choice and wellbeing. You will find it is a combination of styles including textbook, self help, Aboriginal history, Aboriginal philosophy, Aboriginal spirituality and an autobiography of his journey through depression.