Fully b-reduce the following expressions, show b reduction steps. 1. (πœ†π‘Ž. πœ†π‘’. π‘Ž 𝑒) (π‘Ž 𝑒 π‘₯)

Report
Question

Please briefly explain why you feel this question should be reported.

Report
Cancel

beta reduction

MathJax Example

Answer ( 1 )

  1. Please briefly explain why you feel this answer should be reported.

    Report
    Cancel

Leave an answer

Browse

By answering, you agree to the Terms of Service and Privacy Policy.