Write a Blog >>
Dominique Larchey-Wendling

Registered user since Sun 9 Dec 2018

Name:Dominique Larchey-Wendling
Country:France
Affiliation:CNRS, LORIA
Research interests:Logic, resource logics, computability, decidability, well quasi orders, type-theory, Coq

Contributions

Show activities from other conferences

POPL 2020-profile
View general profile