Return to Article Details The Basic Semantics of Untyped Functional Programs and Reduction Strategies Download Download PDF