On the computational strength of pure ambient calculi

Sergio Maffeis, Iain Phillips. On the computational strength of pure ambient calculi. Theoretical Computer Science, 330(3):501-551, 2005. [doi]

Abstract

Abstract is missing.