Name: PDX Func Theory Track - Lambda Calculus
Start: 2019-08-14T18:30:00-07:00
End: 2019-08-14T20:30:00-07:00
Location: Collective Agency

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

Lyle Kopnicky

Leif Warner

Portland Functional Programming Study Group

Technology

Mathematics

Lisp

Programming Languages

Scala

Haskell

Functional Programming

Clojure

Erlang Programming

F# Programming

Python

Category Theory

OCaml Programming

Functors and Monads

Idris

PDX Func Theory Track - Lambda Calculus

Collective Agency

Share

Portland Functional Programming Study Group

PDX Func Theory Track - Lambda Calculus

Portland Functional Programming Study Group

Details

Members are also interested in