Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Charlotte Clark
conf.researchr.org general profile
ICFP 2023 profile
Registered user since Thu 3 Nov 2022
Name:
Charlotte Clark
Contributions
2023
FARM
Author of Homotopy Type Theory for Sewn Quilts within the FARM 2023-track
Share
x
Sun 22 Dec 03:23