conf.researchr.org / Pierre Pradic

Not registered as user yet

Name: Pierre Pradic

Contributions

FOSSACS 2019Author of A Dialectica-Like Interpretation of a Linear MSO on Infinite Words within the FOSSACS 2019-track
Author of Kleene algebra with hypotheses within the FOSSACS 2019-track
FSCD 2017Author of A Curry-Howard Approach to Church’s Synthesis within the FSCD 2017-track