Retraction map categories and their applications to the construction of lambda calculus models (Q3760510)

From MaRDI portal
Revision as of 21:19, 18 October 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Retraction map categories and their applications to the construction of lambda calculus models
scientific article

    Statements

    Retraction map categories and their applications to the construction of lambda calculus models (English)
    0 references
    0 references
    1986
    0 references
    lambda calculus
    0 references
    categorical model
    0 references
    epsilon category
    0 references
    order enriched cartesian closed category
    0 references
    retraction map category
    0 references
    reflexive objects
    0 references

    Identifiers