Adding algebraic rewriting to the untyped lambda calculus

Daniel J. Dougherty
1992 Information and Computation  
doi:10.1016/0890-5401(92)90064-m fatcat:p6h4qhvzfzcvrc3hf3xq3sdlzq