conf.researchr.org / Colin Riba

Not registered as user yet

Name: Colin Riba

Contributions

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