Daniel Hirschkoff Étienne Lozes Davide Sangiorgi Separability in the Ambient Logic http://arxiv.org/abs/0806.3849 2008 CoRR abs/0806.3849 db/journals/corr/corr0806.html#abs-0806-3849 informal publication