Notes on axiomatising Hurkens's Paradox
arXiv:1507.04577
Abstract
An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory.
arXiv:1507.04577
An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory.