conf.researchr.org / Dominique Larchey-Wendling
![Dominique Larchey-Wendling](https://conf.researchr.org/getProfileImage/dominiquelarcheywendling/26e28786-60c1-45eb-a3d4-76573b2c0bfb/small.jpg?1711815685000)
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