[TYPES/announce] Reynolds Festschrift

[Peter O'Hearn]

Readers of the types list might be interested in the

    Festschrift for John C Reynolds's 70th Birthday
    Special Issue of Theoretical Computer Science, Vol 375(1-3),  1  
May 2007

It is available online at
     http://www.sciencedirect.com/science?_ob=PublicationURL&_tockey=% 
23TOC%235674%232007%23996249998%23648814%23FLP% 
23&_cdi=5674&_pubType=J&view=c&_auth=y&_acct=C000050221&_version=1&_urlV 
ersion=0&_userid=10&md5=8e76f2c9e41b22feb6d9e14a7c1448a6


Peter O'Hearn
(for the Festschrift editors: Olivier Danvy, Peter O'Hearn and Phil  
Wadler)