A Groupoid of Isomorphic Data Transformations (Q3637276)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A Groupoid of Isomorphic Data Transformations
scientific article

    Statements

    A Groupoid of Isomorphic Data Transformations (English)
    0 references
    0 references
    9 July 2009
    0 references
    computational mathematics in Haskell
    0 references
    data type transformations
    0 references
    ranking/unranking
    0 references
    Gödel numberings
    0 references
    higher-order combinators
    0 references
    hylomorphisms
    0 references

    Identifiers