explicit substitutions
The &lgr;&sgr;-calculus is a refinement of the &lgr;-calculus where substitutions are manipulated explicitly. The &lgr;&sgr;-calculus provides a setting for studying the theory of substitutions, with pleasant mathematical properties. It is also a useful bridge between the classical &lgr;-calculus and concrete implementations.
refine theory implementation