Certified undecidability of intuitionistic linear logic via binary stack machines and minsky machines.

Yannick Forster, Dominique Larchey-Wendling

Browse the full CPP paper archive.