About the relation of the "computer science" approach to symbolic expression, and the "mathematics" approach: remember that lambda-calculus was originally introduced to make functional substitution, composition, etc., completely rigorous. Part of the early/mid 20th century project to turn mathematics into a completely formal system.

Of course, I agree that any idea of a "symbol standardization committee" for mathematics is both crazy and stupid.