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