Identity and Substitutivity(1971) [pdf]ncatlab.org2 points·nill0··0 commentsOpen articleSaveView on HN