Press Release: Carnegie Mellon Awarded $7.5 Million Department of Defense Grant To Reshape Mathematics - News - Carnegie Mellon University - discu.eu

Reddit

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

Linking pages

Homotopy Type Theory and Higher Inductive Types | Science4All http://www.science4all.org/article/homotopy-type-theory/ 31 comments
Type Theory: A Modern Computable Paradigm for Math | Science4All http://www.science4all.org/le-nguyen-hoang/type-theory/ 5 comments
Type Theory: A Modern Computable Paradigm for Math | Science4All http://www.science4all.org/article/type-theory/ 0 comments

Related searches:

Search whole site: site: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.

Submit link to: