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

Notation used to specify conversion of lambda expressions

conversion operator


Georg Loczewski 2003-08-07