Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation (Q651316)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation
scientific article

    Statements

    Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation (English)
    0 references
    0 references
    0 references
    12 December 2011
    0 references
    combinatory logic
    0 references
    normalization by evaluation
    0 references
    formal neighbourhoods
    0 references
    lazy evaluation
    0 references
    Böhm trees
    0 references
    functional programming
    0 references
    Haskell
    0 references

    Identifiers