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
| CPP 2019 | Author of Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines within the CPP 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile