[TYPES/announce] Reynolds Festschrift
Peter O'Hearn
ohearn at dcs.qmul.ac.uk
Tue May 22 06:40:28 EDT 2007
It seems that the long url in the message below got messed up in
transit. This shorted one
should work.
http://tinyurl.com/24narx
Peter
On 21 May 2007, at 19:31, Peter O'Hearn wrote:
> [ The Types Forum (announcements only),
> http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
>
> 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&_ur
> lV
> 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