Alimujiang Yasen

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Substitution in the λ-calculus is a subtle operation. In a formal description, Barendregt's variable convention is assumed to avoid variable capture, but such an assumption is not well suited for implementation on computers. We introduce graph representation and manipulation of λ-terms, in which bound and free variables are encoded by using(More)
  • 1