No PRL Seminar this week (2/17/12).
Join us 2/24 for a discussion of: Stronger Role for Recursive Types Needed in the Logic of Events
No PRL Seminar this week (2/17/12).
Join us 2/24 for a discussion of: Stronger Role for Recursive Types Needed in the Logic of Events