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
POPL 2019-profile
View general profile
View general profile