Natural number objects in Dialectica categories (Q281151)

From MaRDI portal
Revision as of 01:45, 14 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Natural number objects in Dialectica categories
scientific article

    Statements

    Natural number objects in Dialectica categories (English)
    0 references
    0 references
    0 references
    0 references
    10 May 2016
    0 references
    categorical logic
    0 references
    linear logic
    0 references
    natural numbers object
    0 references
    Dialectica categories
    0 references

    Identifiers