Report copyright - Directed weak factorization systems for type theoryTo develop a directed type theory. To develop a synthetic theory for reasoning about: Higher category theory Directed homotopy theory
Please pass captcha verification before submit form