Solution to lambda calculus exercise set 4

2 views

Skip to first unread message

Lyle Kopnicky

unread,

Jan 8, 2020, 4:47:09 PM1/8/20

to pdx...@googlegroups.com

Here’s my solution to the first problem from Exercise Set 4. As we discussed, problems 2 and 3 were already solved in the text, and nobody can understand what problem 4 is asking for.

MGS Lambda Calculus Solutions 4.pdf

Lyle Kopnicky

unread,

Jan 18, 2020, 4:12:03 PM1/18/20

to pdxfunc

I found an error when we were in the last meeting. Here's a corrected version.

MGS Lambda Calculus Solutions 4.pdf

Reply all

Reply to author

Forward

0 new messages