Realizability Interpretation Protocol Design | Realizability Interpretation | Mathematics | NEROS