GGrantIndex
← Search

TAS::57 3600::TAS "HOMOTOPY TYPE THEORY: CMU RESEARCH GROUP" DATED 25 MAR 2016

$146,636FY2017Department of DefenseDOD

Carnegie Mellon University, Pittsburgh PA

Investigators

View source on USAspending →
TAS::57 3600::TAS "HOMOTOPY TYPE THEORY: CMU RESEARCH GROUP" DATED 25 MAR 2016 · GrantIndex