conf.researchr.org / Marie Kerjean
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 |