Call-by-value and call-by-name: A simple proof of a classic theorem. - BIERNACKI, DARIUSZ; MCKINNA, JAMES; SIECZKOWSKI, FILIP (Journal of Functional Programming, 2025)