iBet uBet web content aggregator. Adding the entire web to your favor.
Link to original content: http://ncatlab.org/nlab/show/diff/homotopy type theory - contents
Created on November 1, 2012 at 14:52:48. See the history of this page for a list of all contributions to it.