Perform β-reduction for the following λ expressions.
(a) (3 pt) (((λ(x)(x
x))(λ(y)(y x))) z)
(b) (3 pt) (((λ(a)(λ(b)(a b)))((λ(c) c) x)) y)
(c) (3 pt) (((λ(x)(x x))(λ(y) y))(λ(y) y))
Recently Asked Questions
- Please refer to the attachment to answer this question. This question was created from PArt1..docx.
- a company's customers are either home or foreign, a company or an individual person ,known or unknown to the company's credit controller, and able or not able
- Java Data Structures: When implementing mystack it is better to use which data structure?