Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Infinitary lambda calculus and discrimination of Berarducci trees.
scientific article

    Statements

    Infinitary lambda calculus and discrimination of Berarducci trees. (English)
    0 references
    0 references
    0 references
    25 May 2003
    0 references
    Berarducci trees
    0 references
    Observational equivalence
    0 references
    Infinitary lambda calculus
    0 references
    Böhm
    0 references
    out technique
    0 references

    Identifiers