A variation of Reynolds-Hurkens Paradox

08/31/2023
by   Thierry Coquand, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset