introduced as a general means to uniformly integrate rewriting and lambda calculus
No description defined
