Towards Races in Linear Logic.

Wen Kokke, J. Garrett Morris, Philip Wadler

Browse the full Coordination paper archive.