A Query Language Based on the Ambient Logic.

Luca Cardelli, Giorgio Ghelli

Browse the full ESOP paper archive.