An Appreciation of Dexter Kozen.

Rohit Parikh
Published in: Logic and Program Semantics (2012)