No label defined (Q5094128)

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

    Statements

    author
    Jonathan Sterling
    0 references
    Daniel Gratzer
    0 references
    Carlo Angiuli
    0 references
    publication date
    2 August 2022
    0 references
    zbMATH Keywords
    cubical type theory
    0 references
    Bishop sets
    0 references
    proof irrelevance
    0 references
    Artin gluing
    0 references
    logical predicates
    0 references
    describes a project that uses
    cubicaltt
    0 references
    MetaPRL
    0 references
    GitHub
    0 references
    Cubical agda
    0 references
    cites work
    Topo-logie
    0 references
    Q4293501
    0 references
    Q3575369
    0 references
    Homotopy Type Theory
    0 references
    Q2968413
    0 references
    Q5591514
    0 references
    Q4304740
    0 references
    Q4314472
    0 references
    Q5387319
    0 references
    Q5089011
    0 references
    Q4012882
    0 references
    Q4263868
    0 references
    Q5625124
    0 references
    Q4225149
    0 references
    Q3204055
    0 references
    Q4247303
    0 references
    Q4281477
    0 references
    Q4099614
    0 references
    Q4099613
    0 references
    Q4215784
    0 references
    Q4283246
    0 references
    Q3999860
    0 references
    Q5278410
    0 references
    Q5089034
    0 references
    Q5718564
    0 references
    Q4243759
    0 references
    Q5091148
    0 references

    Identifiers

    zbMATH DE Number
    7566056
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5094128&oldid=36836587"
    Powered by MediaWiki