Real-normalised differential with a single order 2 pole
De Alexandra Skripchenko
Between Coherent and Constructible Local Langlands Correspondences
De David Ben-Zvi
On the ∞-topos semantics of homotopy type theory 1: a categorical semantics of dependent type theory
De Emily Riehl