A Calculus of Higher Order Safe Ambients and Its Bisimulations.

Zining Cao

Browse the full TASE paper archive.