Operationally-Based Theories of Program Equivalence Andrew Pitts Contents 1 2

First Page		Document Content
Date: 2008-01-15 09:47:23		Operationally-Based Theories of Program Equivalence Andrew Pitts Contents 1 2 Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 299,35 KB Share Document on Facebook