أرسل هذا في رسالة قصيرة: The weak call-by-value lambda-calculus is reasonable for both time and space