Die Suche ergab 4 Treffer

von aditya_oak
17. Okt 2019 15:54
Forum: Konzepte der Programmiersprachen
Thema: Importance of exercise topics
Antworten: 1
Zugriffe: 153

Re: Importance of exercise topics

Exercise sheets and their solutions will be available online. Anything else is difficult to be commented on at this point.
von aditya_oak
10. Mär 2019 02:00
Forum: Konzepte der Programmiersprachen
Thema: Solutions Exercise 14
Antworten: 2
Zugriffe: 226

Re: Solutions Exercise 14

Solution for the Exercise 14 was uploaded. It seems like due to some server issues, recent changes in the repository are not visible.
I am attaching the solution here.
examprep-solution.pdf
(124.43 KiB) 67-mal heruntergeladen
von aditya_oak
3. Mär 2019 22:19
Forum: Konzepte der Programmiersprachen
Thema: Scope in Lambda Calculus
Antworten: 2
Zugriffe: 213

Re: Scope in Lambda Calculus

Hello,

Here, the left-most (outer) lambda is not being reduced, it remains untouched.
\beta reduction is being performed in the body of the outer lambda.

like this :
(added square brackets for clarity)

λn.[ (λn.f(n + 1)) (n + 1) ]
= λn.[ f(n+2) ]
= λn.f(n+2)

Regards,
Aditya
von aditya_oak
8. Nov 2018 14:31
Forum: Konzepte der Programmiersprachen
Thema: Section 3.5 of the PLAI book
Antworten: 2
Zugriffe: 231

Re: Section 3.5 of the PLAI book

Hi,

Please refer to the 2007 edition of the book, url for which is provided further below in the webpage you have mentioned.
i.e. http://cs.brown.edu/~sk/Publications/Bo ... -04-26.pdf

Zur erweiterten Suche