call-by-value and the lambda-v-calculus, Theoretical (0)

by Call-by-name
Venue:Computer Science