No label defined (Q4580223)

From MaRDI portal
Revision as of 14:53, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 6917242
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 6917242

    Statements

    0 references
    0 references
    13 August 2018
    0 references
    formalization of category theory
    0 references
    nested datatypes
    0 references
    Mendler-style recursion schemes
    0 references
    representation of substitution in languages with variable binding
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references