• Sign in
  • Sign up
conf.researchr.org / Pierre Pradic
  • ETAPS 2019 profile
  • ICFP 2017 profile

Not registered as user yet

Name:Pierre Pradic

Contributions

DICE-FOPARA 2019 Author of From normal functors to logarithmic space queries within the DICE-FOPARA-track
FOSSACS 2019 Author 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
GaLoP 2019 Author of A Dialectica-Like Interpretation of a Linear MSO on Infinite Words within the GaLoP-track
FSCD 2017 Author of A Curry-Howard Approach to Church’s Synthesis within the FSCD 2017-track

Share
xSun 29 Jan 03:13
using conf.researchr.org (v1.58.0)
Support page
Sign Up