Registered user since Sun 9 Dec 2018
Name:Dominique Larchey-Wendling
Country:France
Affiliation:Université de Lorraine, CNRS, LORIA
Personal website: http://www.loria.fr/~larchey
Research interests:Logic, resource logics, computability, decidability, well quasi orders, type-theory, constructive algebra, Coq/Rocq
Contributions
Using general profile