Homotopy Type Theory
Homotopy limits in type theory (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

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

arXiv:1304.0680

category: references

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