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

Not registered as user yet

Name: Colin Riba

Contributions

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

Share
xTue 19 Feb 10:54
using conf.researchr.org (v1.6.4)
Support page
Sign Up