Homotopy limits in type theory (Rev #2, changes)

Showing changes from revision #1 to #2:
Added | ~~Removed~~ | ~~Chan~~ged

*Homotopy limits in type theory*. Jeremy Avigad, Chris Kapulkin, Peter LeFanu Lumsdaine, Math. Structures Comput. Sci. 25 (2015), no. 5, 1040?1070.

category: ~~ references~~ reference

Revision on October 14, 2018 at 12:59:58 by Ali Caglayan. See the history of this page for a list of all contributions to it.