A variation of Reynolds-Hurkens Paradox

08/31/2023

∙

by   Thierry Coquand, et al.

∙

0

∙

share

We present a variation of Hurkens paradox, which can itself be seen as a variation of Reynolds result that there is no set theoretic model of polymorphism.