next up previous contents
Next: Alpha Conversion Up: Notation used in Conversion Previous: Notation used to specify   Contents
New book on A++ and the Lambda Calculus available!

Notation used to specifiy substitution

substitution operator


Georg Loczewski 2003-08-07