Function Definitions in Term Rewriting and Applicative Programming

Function Definitions in Term Rewriting and Applicative Programming Chilukuri K. Mohan Mandayam K. Srivas 186-217 Information and Control December 1986 71 3 db/journals/iandc/iandc71.html#MohanS86 http://dx.doi.org/10.1016/S0019-9958(86)80010-9