Operationally-Based Theories of Program Equivalence Andrew Pitts Contents 1 2 - Equivalence - Document - PDFSEARCH.IO

First Page	Meta Content
	Operationally-Based Theories of Program Equivalence Andrew Pitts Contents 1 2 Add to Reading List Document Date: 2008-01-15 09:47:23 Open Document File Size: 299,35 KB Share Result on Facebook

UPDATE

Operationally-Based Theories of Program Equivalence Andrew Pitts Contents 1 2Add to Reading List