A Categorical Framework for Program Semantics and Semantic Abstraction (Q6513045)

From MaRDI portal





scientific article from arXiv
Language Label Description Also known as
English
A Categorical Framework for Program Semantics and Semantic Abstraction
scientific article from arXiv

    Statements

    A Categorical Framework for Program Semantics and Semantic Abstraction (English)
    0 references
    0 references
    0 references
    0 references

    Identifiers