Adding Algebra to the Untyped Lambda Calculus (1991)

by D J Dougherty
Venue:In Proe. of the Fourth Int. Conference on Rewriting Techniques and Applications