On Theories with a Combinatorial Definition of “Equivalence” (1941) [pdf]ens-lyon.fr11 points·haskellandchill··0 commentsOpen articleSaveView on HN