Download PDFOpen PDF in browserMarking Solvable VariablesEasyChair Preprint no. 633915 pages•Date: August 21, 2021AbstractThe places of solvable variables are marked by a special function symbol. After they are substituted, a transformation is applied to make the result independent of it for generality. Keyphrases: lambda calculus, logic, non-determinism, Recursive specifications, The most general substitution
|