A Query Language Based on the Ambient Logic

Luca Cardelli, Giorgio Ghelli. A Query Language Based on the Ambient Logic. In SEBD. pages 95-104, 2001.

Abstract

Abstract is missing.