Introduction to Turing categories (Q998306)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Introduction to Turing categories
scientific article

    Statements

    Introduction to Turing categories (English)
    0 references
    28 January 2009
    0 references
    computability theory
    0 references
    models of computation
    0 references
    partial combinatory algebra
    0 references
    partial map category
    0 references
    Turing categories
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references