[TYPES/announce] Reynolds Festschrift
Peter O'Hearn
ohearn at dcs.qmul.ac.uk
Mon May 21 14:31:28 EDT 2007
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)
More information about the Types-announce
mailing list