Emily Riehl

Publications

• A Type Theory for Synthetic ∞-Categories. Emily Riehl, Michael Shulman. 2017.