Type-Theoretic Derivation Protocol Design | Type-Theoretic Derivation | Mathematics | NEROS