Festschrift for John C. Reynolds’s 70th birthday

Edited by Olivier Danvy, Peter O’Hearn and Philip Wadler. The community says Thank You to John Reynolds for a lifetime of inspiring ideas. Happy birthday, John!