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