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