Marking Solvable Variables

EasyChair Preprint no. 6339

Abstract

The 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

@Booklet{EasyChair:6339,
  author = {Murat Sinan Aygün},
  title = {Marking Solvable Variables},
  howpublished = {EasyChair Preprint no. 6339},

  year = {EasyChair, 2021}}