Text this: Linear Dependent Types and Relative Completeness