Galois connecting call-by-value and call-by-name (Q6151562)

From MaRDI portal
Revision as of 09:11, 28 August 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7814921
Language Label Description Also known as
English
Galois connecting call-by-value and call-by-name
scientific article; zbMATH DE number 7814921

    Statements

    Galois connecting call-by-value and call-by-name (English)
    0 references
    0 references
    0 references
    11 March 2024
    0 references
    computational effect
    0 references
    evaluation order
    0 references
    call-by-push-value
    0 references
    categorical semantics
    0 references

    Identifiers