• CMU recieved a $7.5 Million DoD grant to continue work on Homotopy Type Theory http://www.cmu.edu/news/stories/archives/2014/april/april28_awodeygrant.html 6 comments 5/5/2014 compsci
• $7.5m DoD grant to develop Homotopy Type Theory http://www.cmu.edu/news/stories/archives/2014/april/april28_awodeygrant.html 69 comments 5/5/2014 haskell
• Carnegie Mellon Awarded $7.5 Million To Reshape Mathematics http://www.cmu.edu/news/stories/archives/2014/april/april28_awodeygrant.html 12 comments 28/4/2014 math

Linking pages

Related searches:

Search whole site: site:www.cmu.edu

Search title: Press Release: Carnegie Mellon Awarded $7.5 Million Department of Defense Grant To Reshape Mathematics - News - Carnegie Mellon University

See how to search.