Index Catalog // Digital WPI

Start Over

Filtering by: Creator Clark, Charlotte Unit (Department) Computer Science

Homotopy Type Theory for Sewn Quilts

Keyword:

Programming Language, Quilts, and Homotopy Type Theory

Creator:

Clark, Charlotte

Advisor:

Bohrer, Rose

Publisher:

Worcester Polytechnic Institute

Date Created:

2023-04-20

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science