K.H. Rose, Explicit Substitution - Tutorial & Survey
ISBN: N\A | edition 1996 | PDF | 163 pages | 11 mb
ISBN: N\A | edition 1996 | PDF | 163 pages | 11 mb
In computer science, Explicit substitution is an umbrella term used to describe several calculi based on the Lambda calculus that pay special attention to the formalization of the process of substitution. The concept of explicit substitutions has become notorious not just because of a large number of published calculi of explicit substitutions in the literature with quite different characteristics but also because the notion often turns up (implicitly and explicitly) in formal descriptions and implementation of all the mathematical forms of substitution involving variables such as in abstract machines, predicate logic, and symbolic computation.