Solution to lambda calculus exercise set 4

0 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