On Coquand's "An Analysis of Girard's Paradox"

by Aaron Stump