scientific article
From MaRDI portal
Publication:3153199
zbMath1002.18001arXivmath/0111061MaRDI QIDQ3153199
Publication date: 5 November 2002
Full work available at URL: https://arxiv.org/abs/math/0111061
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
extensionalityCartesian closed categoriesfunctional completenesscomprehensionpolynomial categorycategorial proof theory
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15) Proof theory and constructive mathematics (03F99)
Related Items (4)
Gödel on deduction ⋮ Composition of deductions within the propositions-as-types paradigm ⋮ Models of deduction ⋮ Inferential Semantics
This page was built for publication:
