GGrantIndex
← Search

MODAL HOMOTOPY TYPE THEORY IN AGDA FOR MODELING COMPLEX SYSTEMS

$360,000FY2021Department of the ArmyDOD

Goteborgs Universitet

Investigators

View source on USAspending →