Title: Comparing reduction strategies in resource-conscious cambda calculi