Die Suche ergab 3 Treffer

von aditya_oak
10. Mär 2019 02:00
Forum: Konzepte der Programmiersprachen
Thema: Solutions Exercise 14
Antworten: 2
Zugriffe: 189

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) 45-mal heruntergeladen
von aditya_oak
3. Mär 2019 22:19
Forum: Konzepte der Programmiersprachen
Thema: Scope in Lambda Calculus
Antworten: 2
Zugriffe: 189

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: 215

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