On the Computational Strength of Pure Ambient Calculi

Sergio Maffeis, Iain Phillips. On the Computational Strength of Pure Ambient Calculi. Electronic Notes in Theoretical Computer Science, 96:29-49, 2004. [doi]

@article{MaffeisP04,
  title = {On the Computational Strength of Pure Ambient Calculi},
  author = {Sergio Maffeis and Iain Phillips},
  year = {2004},
  doi = {10.1016/j.entcs.2004.04.020},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.04.020},
  researchr = {https://researchr.org/publication/MaffeisP04},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {96},
  pages = {29-49},
}