Homotopy Type Theory for Sewn Quilts. - Charlotte Clark; Rose Bohrer (FARM, 2023)