3.2.2
| < | IntLM | ProgL | ( | x | ) | > | Þ | Res | |||||||||||
| <Scp | __ | _____ | _ | _____ | _ | __ | _ | __ | > | Þ | Prog'M | ||||||||
| < | IntLM | ProgL | ( | x | ) | > | |||||||||||||
| <Scp | _____ | __ | _____ | _ | _____ | _ | __ | _ | __ | __ | > | Þ | ComLM | ||||||
| <Scp | __ | _____ | _ | p | _ | __ | _ | __ | > | ||||||||||
| < | IntLM | · | ( | x | ) | > | |||||||||||||
| <Scp | _____ | _____ | __ | _____ | _ | _____ | _ | __ | _ | __ | __ | __ | > | Þ | CoComM | ||||
| <Scp | _____ | __ | int | _ | _____ | _ | __ | _ | __ | __ | > | ||||||||
| <Scp | __ | | | _ | p | _ | __ | _ | __ | > | ||||||||||
| < | · | · | ( | x | ) | > |