13 citations · 28 across the 14 of their papers we have counts for
1 paper · 1 filter
Paige Randall North
In this paper, we present a directed homotopy type theory for reasoning synthetically about (higher) categories, directed homotopy theory, and its applications to concurrency. We s…