Ex13

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

Ex13

Beitrag von pschulz » 5. Mär 2017 10:30

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
Mausschubser
Beiträge: 63
Registriert: 21. Okt 2009 19:15

Re: Ex13

Beitrag von Ragnar » 5. Mär 2017 15:27

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.

Antworten

Zurück zu „Archiv“