Non-Wellfounded Trees in Homotopy Type Theory (2015)(arxiv.org)3 points·by anqurvanillapy·8 anni fa·0 commentsarxiv.orgNon-Wellfounded Trees in Homotopy Type Theory (2015)https://arxiv.org/abs/1504.029490 commentsPost comment—