Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Cook's Tour of the Finitary Non-Well-Founded Sets Samson Abramsky

Summary: A Cook's Tour of the Finitary Non-Well-Founded Sets
Samson Abramsky
Oxford University Computing Laboratory
1 Some reminiscences, and an explanation
It is a great pleasure to contribute this paper to a birthday volume for Dov. Dov and I
arrived at imperial College at around the same time, and soon he, Tom Maibaum and I were
embarked on a joint project, the Handbook of Logic in Computer Science. We obtained a
generous advance from Oxford University Press, and a grant from the Alvey Programme,
which allowed us to develop the Handbook in a rather unique, interactive way. We held
regular meetings at Cosener's House in Abingdon (a facility run by what was then the U.K.
Science and Engineering Research Council), at which contributors would present their ideas
and draft material for their chapters for discussion and criticism. Ideas for new chapters and
the balance of the volumes were also discussed. Those were a remarkable series of meetings
-- a veritable education in themselves. I must confess that during this long process, I did
occasionally wonder if it would ever terminate . . . . But the record shows that five handsome
volumes were produced [6]. Moreover, I believe that the Handbook has proved to be a really
valuable resource for students and researchers. It has been used as the basis for a number of
summer schools. Many of the chapters have become standard references for their topics. In a
field with rapidly changing fashions, most of the material has stood the test of time -- thus
far at least!


Source: Abramsky, Samson - Computing Laboratory, University of Oxford


Collections: Computer Technologies and Information Sciences