DOIAbstract
Contains fulltext : 184426.pdf (publisher's version ) (Closed access)CPP 2018: 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, USA — January 08 - 09, 201
Contains fulltext : 184426.pdf (publisher's version ) (Closed access)CPP 2018: 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, USA — January 08 - 09, 201
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...
SIGLEAvailable from British Library Document Supply Centre- DSC:DX186234 / BLDSC - British Library D...
Contains fulltext : 141402.pdf (preprint version ) (Open Access
This report explores the differences in implementations of homotopy type theory using different defi...
This paper focuses on implementing and verifying the proofs presented in ``Finite Sets in Homotopy T...
This paper is a literature survey on homotopy type theory, analyzing the formalization of sets withi...
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...
SIGLEAvailable from British Library Document Supply Centre- DSC:DX186234 / BLDSC - British Library D...
Contains fulltext : 141402.pdf (preprint version ) (Open Access
This report explores the differences in implementations of homotopy type theory using different defi...
This paper focuses on implementing and verifying the proofs presented in ``Finite Sets in Homotopy T...
This paper is a literature survey on homotopy type theory, analyzing the formalization of sets withi...
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...
SIGLEAvailable from British Library Document Supply Centre- DSC:DX186234 / BLDSC - British Library D...
Add to ORKG