Monthly Archives: April 2018

A type theory for synthetic ∞-categories

Formalizing Categorical models of type theory in type theory