S strictlypositive.org The Derivative of a Regular Type is its Type of One-Hole Contexts (2001) [pdf] 109 points pxeger1 3 years ago 39 comments
