Type-theoretic approaches to ordinals (Q2700785)

From MaRDI portal
Revision as of 20:48, 19 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Type-theoretic approaches to ordinals
scientific article

    Statements

    title
    Type-theoretic approaches to ordinals (English)
    0 references
    author
    Nicolai Kraus
    0 references
    Chuangjie Xu
    0 references
    publication date
    27 April 2023
    0 references
    zbMATH Keywords
    ordinal numbers
    0 references
    constructive mathematics
    0 references
    homotopy type theory
    0 references
    Cantor normal forms
    0 references
    Brouwer trees
    0 references
    extensional well-founded orders
    0 references
    describes a project that uses
    Coq
    0 references
    Isabelle/HOL
    0 references
    cites work
    Partiality, Revisited
    0 references
    Q5800868
    0 references
    Q2852343
    0 references
    Q4436027
    0 references
    Q3075213
    0 references
    Q5591514
    0 references
    Q5111307
    0 references
    Q3754620
    0 references
    Q2757839
    0 references
    Q4263867
    0 references
    Q5584402
    0 references
    Q5724783
    0 references
    Q5216301
    0 references
    Q2980980
    0 references
    Q5181669
    0 references
    Q4143279
    0 references
    Q3138828
    0 references
    Proof theory. 2nd ed
    0 references
    Q4243759
    0 references

    Identifiers

    zbMATH DE Number
    7679991
    0 references
    OpenAlex ID
    W4360977267
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2700785&oldid=39207511"
    Powered by MediaWiki