11 19 18

http://philsci-archive.pitt.edu/15260/ Modal homotopy type theory (2018) - David Corfield

https://arxiv.org/abs/1810.10075v1 Rigidification and the Coherent Nerve for Enriched Quasicategories - Harry Gindi

http://www.math.jhu.edu/~eriehl/elements.pdf Elements of ∞-Category Theory - Emily Riehl, Dominic Verity

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License