Robert L. Constable, Alexandra Silva (Eds.):
Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 7230 Springer 2012, ISBN 978-3-642-29484-6 
Full Papers
Hubie Chen:
Meditations on Quantified Constraint Satisfaction.
35-49
Neal Glew:
Subtyping for F-Bounded Quantifiers and Equirecursive Types.
66-82
Pawel Górecki,
Jerzy Tiuryn:
Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model.
83-105
Christoph Kreitz:
Nuprl as Logical Framework for Automating Proofs in Category Theory.
124-148
Jens Palsberg:
Overloading Is NP-Complete - A Tutorial Dedicated to Dexter Kozen.
204-218
Arto Salomaa:
On State Sequences Defined by Reaction Systems.
271-282
Alexa Sharp:
On Distance Coloring - A Review Based on Work with Dexter Kozen.
283-297
Glynn Winskel:
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information.
298-317
Laudatios
David Harel:
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance.
326-327
Prakash Panangaden:
Dexter Kozen's Influence on the Theory of Labelled Markov Processes.
334-337
data released under the ODC-BY 1.0 license
