The Essence of Reynolds (title borrowed from POPL14’s session in honour of John C. Reynolds, by Stephen Brookes, Peter O’Hearn and Uday Reddy) Álvaro García-Pérez

First Page		Document Content
Date: 2016-05-31 09:31:40		The Essence of Reynolds (title borrowed from POPL14’s session in honour of John C. Reynolds, by Stephen Brookes, Peter O’Hearn and Uday Reddy) Álvaro García-Pérez Add to Reading List Source URL: babel.ls.fi.upm.es Download Document from Source Website File Size: 2,43 MB Share Document on Facebook