Jean Abou Samra (new account) on Nostr: nprofile1q…zdh59 Well, I haven't seen *any* version of Russell's paradox in type ...
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyre3nlvve9v0ulm6elkwv5xpr6azl5f3n9u2c3fdjk4733lxa5ypgdzdh59 (nprofile…dh59) Well, I haven't seen *any* version of Russell's paradox in type theory in the first place. Have you? Or is that actually your question (I understood it was about restricting the type theory in which a paradox occurs)?