The type system of mathematics (2013)qchu.wordpress.com2 points·7373737373··0 commentsOpen articleSaveView on HN