Categorical simulations (Q964545)

From MaRDI portal
Revision as of 10:50, 20 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q673961)
scientific article
Language Label Description Also known as
English
Categorical simulations
scientific article

    Statements

    Categorical simulations (English)
    0 references
    22 April 2010
    0 references
    partial combinatory algebras
    0 references
    simulation between categories
    0 references
    free fibration monad
    0 references
    fibrations of assemblies
    0 references
    abstract computability
    0 references
    category of Turing categories
    0 references

    Identifiers