Comparing Reduction Strategies in Resource-Conscious Lambda Calculi (1996)

by J Maraist
Venue:University of Karlsruhe