Thierry Coquand
- Cubical Type Theory: a constructive interpretation of the univalence axiom
2016/11/07 by Cyril Cohen, Cohen, Cyril, Thierry Coquand +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
- An algorithm for type-checking dependent types
1996/05/01 by Thierry Coquand · 4 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Engineering Research
- 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
- Hidden constructions in abstract algebra, Krull Dimension, Going Up,\n Going Down
2017/12/13 by Thierry Coquand, Henri Lombardi, Coquand, Thierry +1 · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Rings, Modules, and Algebras #Commutative Algebra and Its Applications
- Projective Space in Synthetic Algebraic Geometry
2024/05/22 by Felix Cherubini, Thierry Coquand, Cherubini, Felix +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