Publication date
January 2015
DOI Publisher
Cambridge University Press (CUP) ISSN
0960-1295Abstract
Contains fulltext : 141402.pdf (preprint version ) (Open Access
Contains fulltext : 141402.pdf (preprint version ) (Open Access
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 ...
The following full text is a preprint version which may differ from the publisher's version. Fo...
Contains fulltext : 184426.pdf (publisher's version ) (Closed access)CPP 2018: 7th...
This paper is a literature survey on homotopy type theory, analyzing the formalization of sets withi...
Contains fulltext : 141255.pdf (preprint version ) (Open Access
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
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 ...
The following full text is a preprint version which may differ from the publisher's version. Fo...
Contains fulltext : 184426.pdf (publisher's version ) (Closed access)CPP 2018: 7th...
This paper is a literature survey on homotopy type theory, analyzing the formalization of sets withi...
Contains fulltext : 141255.pdf (preprint version ) (Open Access
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
International audienceHomotopy type theory is a new branch of mathematics that combines aspects of s...
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 ...
The following full text is a preprint version which may differ from the publisher's version. Fo...
Add to ORKG