| From: David Van Horn (dvanhorn at ccs.neu.edu) Date: Wed Jul 1 20:06:27 EDT 2009 |
|
Hugh Myers wrote: > Matthias, you mean Small bisimulations for reasoning about > higher-order imperative programs? I can't find any versions except > those I would have to pay for. Any others? ftp://ftp.ccs.neu.edu/pub/people/wand/papers/popl-06.pdf
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}