I have 4 questions regarding λ-Calculus without types which is a part of "Types and Programming Languages".
The book used is: [Benjamin C. Pierce], Types and Programming Languages, MIT Press, 2002
The questions are:
Question No. 1 - Question 5.2.8 at the page 63 of the book.
Question No. 2 - Question [url removed, login to view] at the page 66 of the book.
Question No. 3 - Question 5.3.6 at the page 72 of the book.
Question No. 4 - Question 5.3.8 at the page 73 of the book but not for the call-by-value. It should be done for the normal-order valuation.
At the end of the book, there are some suggested answers. But I need something more detailed and good one.
I need somebody to help me on this issue because I have been a little bit stuck with them.
If you need the book, I can send it to you in pdf format.