Normalization by evaluation and algebraic effects (Q265792)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Normalization by evaluation and algebraic effects
scientific article

    Statements

    Normalization by evaluation and algebraic effects (English)
    0 references
    0 references
    0 references
    12 April 2016
    0 references
    algebraic effects
    0 references
    type theory
    0 references
    normalization by evaluation
    0 references
    presheaves
    0 references
    monads
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references