scientific article
zbMATH Open1002.18001arXivmath/0111061MaRDI QIDQ3153199FDOQ3153199
Authors: Kosta Došen
Publication date: 5 November 2002
Full work available at URL: https://arxiv.org/abs/math/0111061
Title of this publication is not available (Why is that?)
Recommendations
functional completenessCartesian closed categoriesextensionalitycomprehensionpolynomial 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)
Cited In (10)
- Composition of deductions within the propositions-as-types paradigm
- Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
- Title not available (Why is that?)
- Gödel on deduction
- Models of deduction
- Title not available (Why is that?)
- Inferential Semantics
- Generalized adjunction and applications
- Title not available (Why is that?)
- THE APPLICATION OF A CHARACTERIZATION OF ADJUNCTIONS
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 Q3153199)