Question: Prove that for any lambda expression f , if the normal-order evaluation of Y f terminates, where Y is the fixed-point combinator h:(x:h(x x)) (x:h(x

Prove that for any lambda expression f , if the normal-order evaluation of Y f terminates, where Y is the fixed-point combinator λh:(λx:h(x x)) (λx:h(x x)), then f (Yf ) and Yf will reduce to the same simplest form.

Step by Step Solution

★★★★★

3.42 Rating (158 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock

Our goal in this chapter is to define the calculus and ... View full answer

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Programming Language Pragmatics Questions!

Prove that for any securities X and Y: E(X2)= (E(X))2+VAR( ) If rr,-1, then (X + Y) Ox + . If rxy--I, then (X + Y)-Ox-@y

Prove that for any positive integer n, 2 52-

Prove that for any object A in a category C and any subobjects M, N E Subc(A), show that M = N iff for every generalized element r : X A z EA M iff z EA N.

Briefly describe ASCII and Unicode and draw attention to any relationship between them. [3 marks] (b) Briefly explain what a Reader is in the context of reading characters from data. [3 marks] A...

A certain program has to maintain an array, count, of N counters which are all initialised to zero. The value of counter i can be incremented by one by the call: increment(i), and this is the only...

ret Electricity consumers are supplied with electricity from an electricity generating station. Electricity is distributed from the station to the various consumers through a network of transformers...

s sf Define the terms opaque type and concrete type. [5 marks] The following is a shortened version of one of the definition modules described in the Modula-2 user manual: Provide a suitable...

Make the following statements correct by changing one word or number. (Negating the sentence is not sufficient.) (i) A square-summable sequence is also called power signal. [1 mark] (ii) Adding...

(a) In SystemVerilog, what is the difference between: (i) The ternary operator ? and if...then...else statements? [2 marks] (ii) always_ff and always_comb? [2 marks] (iii) Blocking, non-blocking and...

For monotone functions f, f0: P Q between posets (P, vP ) and (Q, vQ), let f v f(i) Prove that the binary relation v is a partial order. [3 marks] (ii) For monotone functions between posets p : P 0...

How does product costing used in financial accounting differ from product costing used in managerial accounting?

Accounting A, B, C, D and E, all individuals, form X Corporation to engage in a manufacturing business. X issues 100 shares of common stock. A transfers $25,000 cash for 25 shares; B transfers...

Which of the following statements related to stock lending is not true? Question 1 9 Select one: a . Lender retains the right to receive dividends and any other distributions over the duration of the...

2. The actual demand for germicidal chemicals at one of BPHs clinics is as follows. a. Plot the data in the previous table on a graph. Do you detect any trend, seasonal pattern, or random variations?...

First, show the block organization of the 16-bit carry save adders to add these 16 terms, as shown in Figure B.14.1. Assume that the time delay through each 1-bit adder is 2T. Calculate the time of...

Write the equations for the carry-lookahead logic for a 64-bit adder using the new notation from Exercise B.26 and using 16-bit adders as building blocks. Include a drawing similar to Figure B.6.3 in...

The Verilog code on page B-53 is for a D flip-flop. Show the Verilog code for a D latch.

P1021 All techniques, conflicting rankings Nicholson Roofing Materials, Inc., is considering two mutually exclusive projects, each with an initial investment of $150,000. The companys board of...

The MHA Medical Center expects Project A and Project B to generate the following cash flows: Project A ( in thousands ) Year 0 1 2 3 4 5 Initial investment ( $ 2 0 , 0 0 0 ) Net operating cash flows...

7.LindaMastersispaidagrosssalaryeachweekof$400.Afteralldeductions,hernetpayamountsto$327.20.If Lindareceivesaraiseto$22,464peryear,basedonthesamepercentageofdeductions,whatwouldbehernew...