@article{lmcs:5959,
    Author = {Pradic, Pierre and Riba, Colin},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Logic in Computer Science},
    Month = {December},
    Title = {{A Curry-Howard Approach to Church's Synthesis}},
    URL = {https://lmcs.episciences.org/5959},
    Volume = {{Volume 15, Issue 4}},
    Year = {2019},
    bdsk-url-1 = {https://lmcs.episciences.org/5959},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-15(4:13)2019},
    date-added = {2020-07-08 17:03:36 +0200},
    date-modified = {2020-07-08 17:03:36 +0200},
    doi = {10.23638/LMCS-15(4:13)2019}
}

@article{lmcs:5959, Author = {Pradic, Pierre and Riba, Colin}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Logic in Computer Science}, Month = {December}, Title = {{A Curry-Howard Approach to Church's Synthesis}}, URL = {https://lmcs.episciences.org/5959}, Volume = {{Volume 15, Issue 4}}, Year = {2019}, bdsk-url-1 = {https://lmcs.episciences.org/5959}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-15(4:13)2019}, date-added = {2020-07-08 17:03:36 +0200}, date-modified = {2020-07-08 17:03:36 +0200}, doi = {10.23638/LMCS-15(4:13)2019} }