1 paper · 1 filter
Thorsten Altenkirch, Jacob Neumann
The field of directed type theory seeks to design type theories capable of reasoning synthetically about (higher) categories, by generalizing the symmetric identity types of Martin…