Monthly Archives: April 2018

Formalizing Categorical models of type theory in type theory