• Sign in
  • Sign up
conf.researchr.org / Marie Kerjean
  • ETAPS 2019 profile
  • POPL 2020 profile

Not registered as user yet

Name:Marie Kerjean

Contributions

LAFI 2020 Committee Member in Program Committee within the LAFI (né PPS)-track
FOSSACS 2019 Author of Higher-order distributions for differential linear logic within the FOSSACS 2019-track

Share
xWed 8 Feb 21:02
using conf.researchr.org (v1.58.0)
Support page
Sign Up