Meaningless Sets in Infinitary Combinatory Logic (Q5111912)

From MaRDI portal
scientific article; zbMATH DE number 7205339
Language Label Description Also known as
English
Meaningless Sets in Infinitary Combinatory Logic
scientific article; zbMATH DE number 7205339

    Statements

    0 references
    0 references
    27 May 2020
    0 references
    infinitary rewriting
    0 references
    infinitary combinatory logic
    0 references
    meaningless set confluence and normalisation
    0 references
    Meaningless Sets in Infinitary Combinatory Logic (English)
    0 references

    Identifiers