• Sign in
  • Sign up
conf.researchr.org / Colin Riba
  • ETAPS 2019 profile
  • ICFP 2017 profile

Not registered as user yet

Name: Colin Riba

Contributions

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

Share
xSun 18 Apr 16:46
using conf.researchr.org (v1.44.3)
Support page
Sign Up