Skip to content

Details

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).

Events in Portland, OR

Members are also interested in