A query language based on the ambient logic (2001)

by L Cardelli, G Ghelli
Venue:In Proceedings of the 9th European Symposium on Programming ESOP’01