Theory and Applications of Type-Theoretic Universes

Owen Lynch

PUDDLE Seminar, May 22, 2025