Add to ORKGA short, mostly self-contained introduction to Homotopy Type Theory, which ends with the proof of Seifert-Van Kampen Theorem for sets. It was supposed to be a study about Coq prood assistant, but it ended up being an introduction to this theory.Outgoin
Homotopy type theory (HoTT) is a new branch of mathematics that connects algebraic topology with log...
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on...
Includes bibliographical references (pages 360-362).Print version record.Front Cover; Homotopy Theor...
Contains fulltext : 141402.pdf (preprint version ) (Open Access
Abstract. Recent discoveries have been made connecting abstract homotopy theory and the field of typ...
We give an overview of the main ideas involved in the development of homotopy type theory and the un...
International audienceWe report on the development of the HoTT library, a formal- ization of homotop...
International audienceHenri Poincaré invented both homology and homotopy theory around 1899. The spa...
This text is based on a one-semester graduate course taught by the author at The Fields Institute in...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
Homotopy type theory is a recently-developed unification of previously dis-parate frameworks, which ...
Introduction to Set Theory and Topology describes the fundamental concepts of set theory and topolog...
This course provides a first introduction to the Curry-Howard correspondence between programs and pr...
Homotopy Type Theory lies at the crossroads of computer science, mathematical logic and homotopy the...
Homotopy type theory (HoTT) is a new branch of mathematics that connects algebraic topology with log...
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on...
Includes bibliographical references (pages 360-362).Print version record.Front Cover; Homotopy Theor...
Contains fulltext : 141402.pdf (preprint version ) (Open Access
Abstract. Recent discoveries have been made connecting abstract homotopy theory and the field of typ...
We give an overview of the main ideas involved in the development of homotopy type theory and the un...
International audienceWe report on the development of the HoTT library, a formal- ization of homotop...
International audienceHenri Poincaré invented both homology and homotopy theory around 1899. The spa...
This text is based on a one-semester graduate course taught by the author at The Fields Institute in...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
Homotopy type theory is a recently-developed unification of previously dis-parate frameworks, which ...
Introduction to Set Theory and Topology describes the fundamental concepts of set theory and topolog...
This course provides a first introduction to the Curry-Howard correspondence between programs and pr...
Homotopy Type Theory lies at the crossroads of computer science, mathematical logic and homotopy the...
Homotopy type theory (HoTT) is a new branch of mathematics that connects algebraic topology with log...
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on...
Includes bibliographical references (pages 360-362).Print version record.Front Cover; Homotopy Theor...