[TYPES/announce] Reynolds Festschrift

[Peter O'Hearn]

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)
>