Introduction-to-the-Design-of-Computational-Calculi

These sessions are organized around an open discussion / extension of a limited-enrolment course taught by Greg Meredith.