Computational soundness of observational equivalence∗ Hubert Comon-Lundh† V´eronique Cortier ‡ - Soundness - Document - PDFSEARCH.IO

First Page	Meta Content
	Computational soundness of observational equivalence∗ Hubert Comon-Lundh† V´eronique Cortier ‡ Add to Reading List Document Date: 2008-08-05 09:55:07 Open Document File Size: 42,32 KB Share Result on Facebook

Computational soundness of observational equivalence∗ Hubert Comon-Lundh† V´eronique Cortier ‡Add to Reading List