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]

Authors

Sergio Maffeis

This author has not been identified. Look up 'Sergio Maffeis' in Google

Iain Phillips

This author has not been identified. Look up 'Iain Phillips' in Google