TAS::57 3600::TAS "HOMOTOPY TYPE THEORY: UNIFIED FOUNDATIONS OF MATHEMATICS AND COMPUTATION,"

$7,499,405FY2015Department of the Air ForceDOD

Carnegie Mellon University, Pittsburgh PA

Investigators

TAS::57 3600::TAS "HOMOTOPY TYPE THEORY: UNIFIED FOUNDATIONS OF MATHEMATICS AND COMPUTATION," · GrantIndex