scientific article; zbMATH DE number 3328156

MaRDI QIDQ5606586zbMATH OpenFDO

Authors Dana Scott

Publication date 1970

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other constructive mathematics (03F65)

Cited in

(11)

• 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
• The calculus of constructions
• A coherence theorem for canonical morphisms in Cartesian closed categories
• Induction-recursion and initial algebras.
• A characterisation of elementary fibrations
• Gödel and intuitionism
• Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
• N. G. de Bruijn's contribution to the formalization of mathematics
• The identity type weak factorisation system

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5606586)