Axiomatisation
"Axiomatisation" in a Sentence (1 examples)
An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..
An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..