Lennart Augustsson wrote: > I think seq is funny because it is not lambda definable. Does the set of computable functions on the natural numbers defined by the lambda calculus augmented with seq have higher Turing degree than the set of classical computable functions? -Yitz