A Sound and Complete Projection for Global Types.

Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone

Browse the full ITP paper archive.