HOMOTOPY TYPE THEORY: UNIFIED FOUNDATIONS OF MATHEMATICS AND COMPUTATION
Abstract
In this MURI proposal, the team proposes to investigate a new constructive type theory with the following research subareas: formalized mathematics for scientific or engineering tools; new foundations of mathematics that is completely different from the conventional setting; new proof assistants for theorem proving or formal verification that is less mechanistic and closer to human s understanding; code reuse and data type-generic programming to facilitate construction and maintenance of software.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Mar 23, 2016
- Source ID
- FA95501510053
Entities
People
- Steve Awodey
Organizations
- Air Force Office of Scientific Research
- Massachusetts Institute of Technology
- United States Air Force