Lambda-Term Construction Protocol Design | Lambda-Term Construction | Mathematics | NEROS