CS 6520 Homework 3
Exercise 3.1
Prove that
(
x
.
x
x
) (
x
.
x
x
)
has no value (i.e., it cannot be reduced to a value) in the call-by-value lambda calculus.
Last update: Tuesday, January 18th, 2000
mflatt@cs.utah.edu