@phdthesis{hernest_mircea_dan_2021_5258447, author = {HERNEST MIRCEA DAN}, title = {{Optimized programs from (non-constructive) proofs by the light (monotone) Dialectica interpretation}}, school = {{École polytechnique X ( https://www.polytechnique.edu/ )}}, year = 2021, month = aug, doi = {10.5281/zenodo.5258447}, url = {https://doi.org/10.5281/zenodo.5258447} }