2
$\begingroup$

I need to find two λ-terms $A$ and $B$ where neither $A$ nor $B$ have a β-normal form, but $(A\ B)$ has a β-normal form. How would I go about doing this?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.