Travelling with Dexter Kozen

Authors
Publication date 2012
Host editors
  • R.L. Constable
  • A. Silva
Book title Logic and Program Semantics
Book subtitle Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
ISBN
  • 9783642294846
ISBN (electronic)
  • 9783642294853
Series Lecture Notes in Computer Science
Pages (from-to) 342-351
Publisher Heidelberg: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract Aside from our shared interest in particular areas of Theoretical Computer Science, the experience I share with Dexter Kozen originates from the fact that we both belong to the not too large group of Theoreticiancs who during the late 1970-ies and early 1980-ies frequently crossed the Iron Curtain in order to interact with our colleagues from the Socialist part of Europe. This results into many appearances of Dexter in my collection of pictures from that period; a collection I like to share with the readers of this volume.
Document type Chapter
Language English
Published at https://doi.org/10.1007/978-3-642-29485-3_31
Permalink to this page
Back