*** This version of Confluence is for testing only and contains a copy of content from June 29th 2026. No changes will be preserved. ***
-
Created by
Jim Entwood, last updated on Feb 17, 2012
1 minute read
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