Q5155672 (Q5155672): Difference between revisions

From MaRDI portal
← Older edit
Import240304020342 (talk | contribs)
4,416,906 edits
Set profile property.
ReferenceBot (talk | contribs)
Bots
1,895,659 edits
‎Changed an Item
 
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: 2011.15021 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polarised subtyping for sized types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Normalisation by Evaluation for Dependent Types. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Productive coprogramming with guarded recursion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic Programming with Focusing Proofs in Linear Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Irrelevance and Algorithmic Equality in Predicative Type Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3575369 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Natural models of homotopy type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Contextual Logical Framework / rank
 
Normal rank
Property / cites work
 
Property / cites work: On an intuitionistic modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5144643 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A model of guarded recursion with clock synchronisation / rank
 
Normal rank
Property / cites work
 
Property / cites work: First steps in synthetic guarded domain theory: step-indexing in the topos of trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized algebraic theories and contextual categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Programming and Reasoning with Guarded Recursion for Coinductive Types / rank
 
Normal rank
Property / cites work
 
Property / cites work: The biequivalence of locally cartesian closed categories and Martin-Löf type theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fitch-style modal lambda calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algorithm for type-checking dependent types / rank
 
Normal rank
Property / cites work
 
Property / cites work: A presheaf model of parametric 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: Q3201049 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Internal type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the unity of logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Treatise on intuitionistic type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Generalized Modality for Recursion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4225149 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5144635 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pointers in Recursion: Exploring the Tropics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5298124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4993352 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adjoint Logic with a 2-Category of Modes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5111322 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4992899 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sheaves in geometry and logic: a first introduction to topos theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4993353 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notions of computation and monads / rank
 
Normal rank
Property / cites work
 
Property / cites work: A type theory for productive coprogramming via guarded recursion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applicative programming with effects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Degrees of Relatedness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contextual modal type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4611379 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4247308 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A judgmental reconstruction of modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5559220 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categorical Homotopy Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2829627 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modalities in homotopy type theory / 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: Brouwer's fixed-point theorem in real-cohesive homotopy type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3720767 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantum Gauge Field Theory in Cohesive Homotopy Type Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy Type Theory: Univalent Foundations of Mathematics / rank
 
Normal rank

Latest revision as of 18:47, 26 July 2024

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

    Statements

    author
    Daniel Gratzer
    0 references
    G. A. Kavvos
    0 references
    Andreas Nuyts
    0 references
    Lars Birkedal
    0 references
    publication date
    8 October 2021
    0 references
    zbMATH Keywords
    dependent type theory
    0 references
    modalities
    0 references
    modal type theory
    0 references
    categorical semantics
    0 references
    gluing
    0 references
    cites work
    Q3575369
    0 references
    Q5144643
    0 references
    Q3201049
    0 references
    Internal type theory
    0 references
    On the unity of logic
    0 references
    Q4225149
    0 references
    Q5144635
    0 references
    Q5298124
    0 references
    Q4993352
    0 references
    Q5111322
    0 references
    Q5639839
    0 references
    Q4992899
    0 references
    Q4993353
    0 references
    Degrees of Relatedness
    0 references
    Q4611379
    0 references
    Q4247308
    0 references
    Q5559220
    0 references
    Q2829627
    0 references
    Q3720767
    0 references

    Identifiers

    zbMATH DE Number
    7407783
    0 references
    arXiv ID
    2011.15021
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5155672&oldid=36720865"
    Powered by MediaWiki