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

(10)

• A characterisation of elementary fibrations
• A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
• A coherence theorem for canonical morphisms in Cartesian closed categories
• Induction-recursion and initial algebras.
• The identity type weak factorisation system
• N. G. de Bruijn's contribution to the formalization of mathematics
• Gödel and intuitionism
• The calculus of constructions
• A proof description language and its reduction system
• Programs as proofs: A synopsis

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)