Last Updated:2022/12/24

An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..

音声機能が動作しない場合はこちらをご確認ください
Edit Histories(0)

Sentence quizzes to help you learn to read

Edit Histories(0)

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★