Skip to main content

Timeline for Categorical semantics of W-types

Current License: CC BY-SA 3.0

1 event
when toggle format what by license comment
Feb 8, 2012 at 3:33 history answered Ivanych CC BY-SA 3.0