scientific article; zbMATH DE number 3328156

zbMATH Open0206.28402MaRDI QIDQ5606586FDOQ5606586

Authors: Dana Scott 

Publication date: 1970

Title of this publication is not available (Why is that?)

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
• Gödel and intuitionism
• N. G. de Bruijn's contribution to the formalization of mathematics
• 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)