scientific article
From MaRDI portal
Publication:3322097
zbMath0537.03039MaRDI QIDQ3322097
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
normal formproof theorytype theoryHeyting's arithmeticMartin-Löf's theory of typesnormalization theorem for derivations of finite rank
Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)
Related Items
