Skip to first unread message
Lyle Kopnicky
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.
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