turon at ccs.neu.edu
Thu Jan 28 12:57:05 EST 2010
Attached is a PDF giving all of the technical material I presented for
Jones's R/G logic, together with the example that we didn't get to. I
haven't thoroughly bottomed out the example proof, so there may be
mistakes. Let me know if you find any.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 82005 bytes
Desc: not available
Url : http://lists.ccs.neu.edu/pipermail/pl-sem-jr/attachments/20100128/f272179d/attachment-0001.pdf
More information about the Pl-sem-jr