← SearchTAS::57 3600::TAS 'FOUNDATIONS OF TYPE THEORY FOR COMPUTATION AND MATHEMATICS'$569,441FY2017Department of the Air ForceDODUlInvestigatorsView source on USAspending →