On the algebraic structure of declarative programming languages (Q1035699)

From MaRDI portal





scientific article; zbMATH DE number 5624944
Language Label Description Also known as
English
On the algebraic structure of declarative programming languages
scientific article; zbMATH DE number 5624944

    Statements

    On the algebraic structure of declarative programming languages (English)
    0 references
    0 references
    0 references
    0 references
    4 November 2009
    0 references
    categorical logic
    0 references
    indexed categories
    0 references
    logic programming
    0 references
    abstract data types
    0 references
    constraint logic programming
    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
    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