UW PLSE

% Reading Group in Categorical Models for Type Theories

Spring 2014

Thursdays, 2:30-3:30 in CSE 624 (NOTE CHANGE OF TIME, DAY, AND LOCATION)

We’ll meet once a week to discuss chapters of Crole’s Categories for Types.

There’s a mailing list (we’re reusing the one from last quarter).

You can see last quarter’s group here.

Schedule

Week of April 7

Week of April 14

Week of April 21

Week of April 28

Week of May 5

Week of May 12


Last updated: May 12, 2014