Open AccessSynthetic Undecidability of MSELL via FRACTRAN Mechanised in Coq
Author(s) -
Dominique Larchey-Wendling
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.4230/lipics.fscd.2021.18
Subject(s) - sequent calculus , computer science , halting problem , sequent , programming language , reduction (mathematics) , linear logic , intuitionistic logic , argument (complex analysis) , multiplicative function , correctness , discrete mathematics , mathematics , algorithm , calculus (dental) , theoretical computer science , turing machine , mathematical proof , computation , medicine , mathematical analysis , biochemistry , chemistry , geometry , dentistry