Problem Set 3

home work!

Topic Substitution, Equivalence, Church Encodings, and Redex Modeling

Due Monday, February 10, 2020 at noon.

image

Problem 1 Fix your memo from problem set 1 in response to the feedback. Submit a printout of the memo at the beginning of class.

See here for Problems 2-6.

Deliverable Email a tar.gz bundle to me and Aaron Weiss at our ccs email addresses. The name of the bundle should combine the last names of the pair in alphabetical order. The tar bundle must contain a single directory—with the same name as the tar ball—with a README.txt file, a pdf of your memo, and a Redex file 3.rkt that contains the solution to Problem 6. The directory should also contain a pdf with solutions to Problems 2 to 5 if you typeset them; handwritten solutions to Problems 2 to 5 can be submitted on paper at the beginning of class.

The README.txt file must start with the following lines:

  ;; NameOfPartner1, NameOfPartner2

  ;; email@of.partner1.com, email@of.partner2.org

appropriately instantiated of course.