## Adding algebraic rewriting to the untyped lambda calculus (1992)

by
Daniel J. Dougherty

Venue: | Information and Computation |

Citations: | 20 - 0 self |