pi-RED*-A Graph Reducer for a Full-Fledged lambda-Calculus.

Wed, 01 Jan 1992 00:00:00 +0100

Claudia Schmittgen, Harald Blödorn, Werner E. Kluge:
pi-RED*-A Graph Reducer for a Full-Fledged lambda-Calculus. New Gener. Comput. 10(2): 173-196 (1992)