PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Abstract : This paper presents a dependently-typed construction of semi-simplicial sets in type theory where sets are taken to be types. This addresses an open question raised on the wiki of the special year on Univalent Foundations at the Institute of Advanced Study (2012-2013).
https://hal.inria.fr/hal-00935446
Contributeur : Hugo Herbelin
<>
Soumis le : jeudi 23 janvier 2014 - 15:15:42
Dernière modification le : vendredi 4 janvier 2019 - 17:33:25
Document(s) archivé(s) le : jeudi 24 avril 2014 - 12:10:22
