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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom