Why S and K are enough.
DESCRIPTION: Oops, I did it again. The hack The word “implies” and corresponding arrows are grossly overloaded and have more than one subtle but distinct meanings. We will read and interpret the “arrows” (and the word “implies”) from different formalisms differently (as an implication in terms of necessity and sufficiency and as a single discrete step of causality). We will put the universal notion of an environment (and the corresponding Γ abstraction) from obscurity to the center....