Theory meeting, August 15th

1 view
Skip to first unread message

Lyle Kopnicky

unread,
Jul 31, 2019, 1:42:41 AM7/31/19
to pdxfunc
Hi folks,

We'll be going over Lecture 2 from the MGS 2019 course on Lambda Calculus (http://www.duplavis.com/venanzio/mgs_lambda/index.html). As an assignment, try to define the arithmetic and pair operations for the Scott encoding (https://en.wikipedia.org/wiki/Mogensen%E2%80%93Scott_encoding#Scott_encoding). We'll discuss our solutions in the meeting.

Wednesday, August 15th, 6:30-8:30pm

Location:
Collective Agency

3050 SE Division, Suite 245 · Portland, OR

We'll be in the second floor conference room, not in the Collective Agency suite. It's just off the lobby area in the middle of the second floor. Elevator access is available.

Reply all
Reply to author
Forward
0 new messages