Ernesto Copello

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
In [7], Allen Stoughton proposed a notion of substitution for the Lambda calculus formulated in its original syntax with only one sort of symbols (names) for variables and without identifying α-convertible terms. According to such formulation, the action of substitution on terms is dened by simple structural recursion and an interesting theory arises(More)
In [5], Allen Stoughton proposed a notion of substitution for the Lambda calculus formulated in its original syntax with only one sort of symbols (names) for variables –without identifying α-convertible terms. According to such formulation, the action of substitution on terms is defined by simple structural recursion and an interesting theory arises(More)
  • 1