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