scientific article; zbMATH DE number 3328156
From MaRDI portal
Publication:5606586
zbMath0206.28402MaRDI QIDQ5606586
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other constructive mathematics (03F65) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
A characterisation of elementary fibrations ⋮ The calculus of constructions ⋮ Induction-recursion and initial algebras. ⋮ A coherence theorem for canonical morphisms in Cartesian closed categories ⋮ The identity type weak factorisation system ⋮ N. G. de Bruijn's contribution to the formalization of mathematics ⋮ Gödel and Intuitionism ⋮ Programs as proofs: A synopsis ⋮ A proof description language and its reduction system ⋮ A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
