[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:


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.


More information about the jmm-dev mailing list