13 citations · 17 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Directed type theory, with a twist
Fernando Rafael Chu Rivera, Paige Randall North
In recent years, Homotopy Type Theory (HoTT) has had great success both as a foundation of mathematics and as internal language to reason about -groupoids (a.k.a. spaces).…
cs.LO2018
Towards a directed homotopy type theory
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…