CONSTRUCTIVE MODEL OF HOMOTOPY TYPE THEORY IN HIGHER GROUPOIDS

$509,997FY2025Department of the Air ForceDOD

Chalmers Tekniska Hogskola Aktiebolag

Investigators

View source on USAspending →