Daily Archives: February 10, 2019

Paige North : Type theoretic weak factorization systems

Advertisements