Archived tweet #9364 from the @leastfixedpoint Twitter Archive

@DRMacIver @headius @mikiobraun It's all that tortured thinking about naming, denotation and equivalence that went on in that community (and its predecessors) during the 20th century. Whereas C-ish equivalence is... not as carefully worked out.