Full normalization for transfinite stacks (Q6504356)

From MaRDI portal





scientific article from arXiv
Language Label Description Also known as
English
Full normalization for transfinite stacks
scientific article from arXiv

    Statements

    Full normalization for transfinite stacks (English)
    0 references

    Identifiers

    0 references