Mobility Types for Mobile Ambients.

Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli

Browse the full ICALP paper archive.