Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

K.H. Rose, Explicit Substitution - Tutorial & Survey

Posted By: Direktor69
K.H. Rose, Explicit Substitution - Tutorial & Survey

K.H. Rose, Explicit Substitution - Tutorial & Survey
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.


My AH blog!

No other mirrors, please!


Download FREE