David Corfield Do R-inferentialism

In the context of this project Friedman's Dynamics of Reason, we need the tale of the philosophical currents that feed into the inferentialism that is exemplified in modal HoTT. Perhaps not only is this a part of the new constitutive language, but also it captures itself the dependency relations (variety of type theory, type theory, context - Shulman’s $n$-theories).

So Gentzen, Prawitz, Martin-Lof

Sellars, Brandom