Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus (Q3003362)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus
scientific article

    Statements

    Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus (English)
    0 references
    0 references
    0 references
    27 May 2011
    0 references

    Identifiers