scientific article; zbMATH DE number 65742

zbMATH Open0751.03027MaRDI QIDQ4010353FDOQ4010353

Authors: Roberto Di Cosmo, Giuseppe Longo 

Publication date: 27 September 1992

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

Recommendations

• scientific article; zbMATH DE number 65746
• scientific article; zbMATH DE number 3928997
• Provable isomorphisms of types
• Quantifier-complete categories
• Isomorphic formulae in classical propositional logic

zbMATH Keywords

cartesian closed categoryconstructive equivalenceIntuitionistic propositional calculus

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Natural morphisms, dinatural morphisms (18A23)

Cited In (6)

• Title not available (Why is that?)
• Isomorphic formulae in classical propositional logic
• Quantifier-complete categories
• The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
• Provable isomorphisms of types
• Title not available (Why is that?)

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 Q4010353)