Open Access
SEPARABILITY IN THE AMBIENT LOGIC
Author(s) -
Daniel Hirschkoff,
Étienne Lozes,
Davide Sangiorgi
Publication year - 2008
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
DOI - 10.2168/lmcs-4
Subject(s) - computer science