Reduction
The basic reduction rules used in the lambda-mu calculus are the following:
| logical reduction | |
| structural reduction | |
| renaming | |
| the equivalent of η-reduction | , for α not freely occurring in u |
These rules cause the calculus to be confluent. Further reduction rules could be added to provide us with a stronger notion of normal form, though this would be at the expense of confluence.
Read more about this topic: Lambda-mu Calculus
Famous quotes containing the word reduction:
“The reduction of nuclear arsenals and the removal of the threat of worldwide nuclear destruction is a measure, in my judgment, of the power and strength of a great nation.”
—Jimmy Carter (James Earl Carter, Jr.)