Towards Global and Local Types for Adaptation

Authors

Mario Bravetti, Marco Carbone, Thomas Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A Pérez, Gianluigi Zavattaro,