Univalence Principle
Univalence Principle
Benedikt Ahrens
,
Dimitris Tsementzis
,
Paige Randall North
,
Michael Shulman
Details
OL Work ID
OL44562577W
Subjects
Mathematics
Find this book
Open Library