LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic.

Ccilia Pradic, Colin Riba

Browse the full LICS paper archive.