Natural number objects in Dialectica categories
DOI10.1016/J.ENTCS.2014.06.005zbMATH Open1335.03026DBLPjournals/entcs/PaivaMS14OpenAlexW2026744363WikidataQ56994452 ScholiaQ56994452MaRDI QIDQ281151FDOQ281151
Samuel Gomes da Silva, Valeria de Paiva, Charles J. G. Morgan
Publication date: 10 May 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2014.06.005
Recommendations
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)
Cites Work
- An internal language for autonomous categories
- Linear Recursive Functions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Partial Recursive Functions and Finality
- Title not available (Why is that?)
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- Monoidal categories with natural numbers object
- Gödel's system \(\mathcal T\) revisited
Cited In (3)
This page was built for publication: Natural number objects in Dialectica categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q281151)