Theoretical Computer Science – 551 www.elsevier.com locate tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗ - Computational science - Document - PDFSEARCH.IO

First Page	Meta Content
	Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗ Add to Reading List Document Date: 2009-08-14 07:09:04 Open Document File Size: 484,90 KB Share Result on Facebook

Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗Add to Reading List