Comment Comment by enricozb Yes the type theoretic analog to Russel's (set theoretic) paradox is Girard's (as mentioned in the abstract) paradox. parent enricozb 9 months ago
