Printable PDF
Department of Mathematics,
University of California San Diego

****************************

Math 292 (Student speaker series)

Arseniy Kryazhev

UCSD

Homotopy Type Theory: an overview

Host: Zhouli Xu

March 14, 2023

3:15 PM

APM 7218

Research Areas

Geometry and Topology Logic and Computational Complexity

****************************

9500 Gilman Drive, La Jolla, CA 92093-0112

(858) 534-3590