Q5089011 (Q5089011): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q4944846 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parametricity and dependent types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2968413 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized algebraic theories and contextual categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cubical Type Theory: a constructive interpretation of the univalence axiom / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Higher Inductive Types in Cubical Type Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Canonicity and normalization for dependent type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Internal type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5580926 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polynomial functors and polynomial monads / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Frobenius condition, right properness, and uniform fibrations / rank
 
Normal rank
Property / cites work
 
Property / cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4225149 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Canonicity for cubical type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A cubical approach to straightening / rank
 
Normal rank
Property / cites work
 
Property / cites work: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4993352 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5278410 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partial Horn logic and Cartesian categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Univalence for inverse diagrams and homotopy canonicity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5286647 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algebraic weak factorisation system on 01-substitution sets: a constructive proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intensional interpretations of functionals of finite type I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy Type Theory: Univalent Foundations of Mathematics / rank
 
Normal rank

Revision as of 15:42, 29 July 2024

scientific article; zbMATH DE number 7559277
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7559277

    Statements

    0 references
    0 references
    0 references
    18 July 2022
    0 references
    cubical type theory
    0 references
    univalence
    0 references
    canonicity
    0 references
    sconing
    0 references
    Artin glueing
    0 references

    Identifiers