Non-Wellfounded Trees in Homotopy Type Theory (2015)arxiv.org3 points·anqurvanillapy··0 commentsOpen articleSaveView on HN