Dominique Larchey-Wendling

Registered user since Sun 9 Dec 2018

Name: Dominique Larchey-Wendling

Country: France

Affiliation: CNRS, LORIA

Personal website: http://www.loria.fr/~larchey

Research interests: Logic, resource logics, computability, decidability, well quasi orders, type-theory, Coq

Contributions

ADSL 2020Committee Member in Program Committee within the ADSL 2020-track
CPP 2020Committee Member in Program Committee within the CPP 2020-track
CPP 2019Author of Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines within the CPP 2019-track