1 paper · 1 filter
Jacob Neumann
We reformulate recent advances in directed type theory--a type theory where the types have the structure of synthetic (higher) categories--as a logical calculus with multiple conte…