RECENTLY PUBLISHED
Dana S. Scott Editor-in-Chief
Benjamin C. Pierce Managing Editor
Gordon D. Plotkin Managing Editor
Moshe Y. Vardi Managing Editor
Jiří Adámek Stefan Milius Executive Editors