Programming Systems Lab: Publications by Dominique Larchey-Wendling

Saarland University Computer Science

Select author:


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