Report - Towards a library of formalised undecidable …forster/downloads/slides...Towards a library of formalised undecidable problems in Coq: The undecidability of intuitionistic linear logic

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form