Programming Systems Lab: Publications by Dominique Larchey-Wendling

Saarland University Computer Science

Select author:

2019

Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines   (pdf)
Yannick Forster, Dominique Larchey-Wendling
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019


Login to edit


Legal notice, Privacy policy