[jmm-dev] thin-air summary

Peter Sewell Peter.Sewell at cl.cam.ac.uk
Mon Feb 17 08:45:59 PST 2014


Dear all,

Mark Batty and I have written a short note trying to summarise the
thin-air problem as crisply as we can:

http://www.cl.cam.ac.uk/~pes20/cpp/notes42.html

Comments welcome, of course.   We've also been thinking here about
possible approaches; hopefully we'll have another note about that in a
few days.

Peter


More information about the jmm-dev mailing list