Adding algebraic rewriting to the untyped lambda calculus (1992)

Cached

Download Links

by Daniel J. Dougherty
Venue:Information and Computation
Citations:20 - 0 self