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
Georg Loczewski 2003-08-07
Impressum und Datenschutz
