scientific article

zbMATH Open0763.18004MaRDI QIDQ4006295

Josef Šlapal

Publication date: 26 September 1992

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

zbMATH Keywords

Curry-Howard isomorphismrelational categoriestopological axiomsdirect exponentiation for objectsdirectly Cartesian closed

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (2)

Title not available (Why is that?) ⋮ Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Cartesian closedness in categories of relational systems 👍 👎
• Cartesian closed coreflective subcategories of the category of topological spaces 👍 👎
• Cartesian closed extensions of subcategories of CONT 👍 👎
• Cartesian closed stable categories 👍 👎
• Cartesian closed algebraic categories 👍 👎

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