Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Dominique Larchey-Wendling

Registered user since Sun 9 Dec 2018

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


CPP 2019 Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines
Show activities from other conferences

POPL 2019-profile
View general profile