No label defined (Q5028425)

From MaRDI portal
scientific article; zbMATH DE number 7471665
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7471665

    Statements

    0 references
    0 references
    9 February 2022
    0 references
    cubical type theory
    0 references
    parametricity
    0 references
    computational type theory
    0 references
    modal type theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers