vix.ing · top · new · best · stats · spec

Coquand, Thierry

  1. Cubical Type Theory: a constructive interpretation of the univalence axiom
    2016/11/07 by Cyril Cohen, Thierry Coquand, Cohen, Cyril +5 · 16 citations
    Computer Science · Mathematics · Psychology · #Advanced Topology and Set Theory #F.3.2 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Philosophy and Theoretical Science
  2. On Higher Inductive Types in Cubical Type Theory
    2018/02/04 by Coquand, Thierry, Huber, Simon, Mörtberg, Anders · 3 citations
    #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
  3. Canonicity and normalisation for Dependent Type Theory
    2018/10/22 by Coquand, Thierry · 3 citations
    #FOS: Computer and information sciences #Programming Languages (cs.PL)
  4. The equivariant model structure on cartesian cubical sets
    2024/06/26 by Awodey, Steve, Cavallo, Evan, Coquand, Thierry +2 · 3 citations
    #Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
  5. Stack Semantics of Type Theory
    2017/01/10 by Thierry Coquand, Coquand, Thierry, Bassel Mannaa +3 · 1 citation
    Computer Science · #Advanced Algebra and Logic #F.3.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
  6. The univalence axiom in cubical sets
    2017/10/30 by Bezem, Marc, Coquand, Thierry, Huber, Simon · 1 citation
    #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
  7. Hidden constructions in abstract algebra, Krull Dimension, Going Up,\n Going Down
    2017/12/13 by Thierry Coquand, Coquand, Thierry, Henri Lombardi +1 · 1 citation
    Computer Science · Mathematics · #Advanced Algebra and Logic #Rings, Modules, and Algebras #Commutative Algebra and Its Applications
  8. A Note on Generalized Algebraic Theories and Categories with Families
    2020/12/15 by Bezem, Marc, Coquand, Thierry, Dybjer, Peter +1 · 1 citation
    #03G30 #Category Theory (math.CT) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
  9. Controlling unfolding in type theory
    2022/10/11 by Gratzer, Daniel, Sterling, Jonathan, Angiuli, Carlo +2 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  10. Projective Space in Synthetic Algebraic Geometry
    2024/05/22 by Felix Cherubini, Cherubini, Felix, Thierry Coquand +4 · 1 citation
    Engineering · Mathematics · #03B38 #14A99 (Primary) #18N99 (Secondary) #Advanced Numerical Analysis Techniques #Advanced Theoretical and Applied Studies in Material Sciences and Geometry #Algebraic Geometry (math.AG) #FOS: Mathematics #Logic (math.LO) #Mathematics and Applications
  11. Constructive sheaf models of type theory
    2019/12/22 by Coquand, Thierry, Ruch, Fabian, Sattler, Christian · 1 citation
    #FOS: Mathematics #Logic (math.LO)