A Cook’s tour of the finitary non-well-founded sets (1988)
| Venue: | Invited Lecture at BCTCS |
| Citations: | 18 - 0 self |
BibTeX
@INPROCEEDINGS{Abramsky88acook’s,
author = {Samson Abramsky},
title = {A Cook’s tour of the finitary non-well-founded sets},
booktitle = {Invited Lecture at BCTCS},
year = {1988}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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
