## Ex13

pschulz
Neuling
Beiträge: 9
Registriert: 7. Nov 2016 18:15

### Ex13

Hello,
In Exercise 13 Task 1.3.4 we should provide the derivation tree for:

Code: Alles auswählen

λx.x ((λy.yy) c)

What i don't understand about the solution is where the 'c2' comes from?

Code: Alles auswählen

(λx.x) (((λy.yy) c1) c2) --> ...

Could anybody explain that to me?

Cheers

Ragnar
Mausschubser
Beiträge: 63
Registriert: 21. Okt 2009 19:15

### Re: Ex13

Hi, for some of those tasks, I did change some parts during the exercise sessions, because of student questions, or because I wanted to show something different. So the solutions may not always exactly correspond to the given tasks.