- <td class="nnns component blue">
- <br />
- </td>
- <td class="snns plane blue">context-sensitive equivalence</td>
- <td class="snns file blue">cpcs ( ⦃?,?⦄ ⊢ ? ⬌* ? )</td>
- <td class="snnn file blue">cpcs_aaa cpcs_cprs cpcs_cpcs</td>
- <td class="snnn file blue">
- <br />
- </td>
- <td class="ssnn file blue">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns component sky">conversion</td>
- <td class="snns plane sky">context-sensitive conversion</td>
- <td class="snns file sky">cpc ( ⦃?,?⦄ ⊢ ? ⬌ ? )</td>
- <td class="snnn file sky">cpc_cpc</td>
- <td class="snnn file sky">
- <br />
- </td>
- <td class="ssnn file sky">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns component cyan">computation</td>
- <td class="snns plane cyan">context-sensitive extended evaluation</td>
- <td class="snns file cyan">cpxe ( ⦃?,?⦄ ⊢ ➡*[?,?] 𝐍⦃?⦄ )</td>
- <td class="snnn file cyan">
- <br />
- </td>
- <td class="snnn file cyan">
- <br />
- </td>
- <td class="ssnn file cyan">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component cyan">
- <br />
- </td>
- <td class="snns plane cyan">context-sensitive evaluation</td>
- <td class="snns file cyan">cpre ( ⦃?,?⦄ ⊢ ➡* 𝐍⦃?⦄ )</td>
- <td class="snnn file cyan">cpre_cpre</td>
- <td class="snnn file cyan">
- <br />
- </td>
- <td class="ssnn file cyan">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component cyan">
- <br />
- </td>
- <td class="snns plane cyan">strongly normalizing computation</td>
- <td class="snns file cyan">csx_vector ( ⦃?,?⦄ ⊢ ⬊*[?,?] ? )</td>
- <td class="snnn file cyan">csx_tstc_vector csx_aaa</td>
- <td class="snnn file cyan">
- <br />
- </td>
- <td class="ssnn file cyan">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component cyan">
- <br />
- </td>
- <td class="nnns plane cyan">
- <br />
- </td>
- <td class="snns file cyan">csx ( ⦃?,?⦄ ⊢ ⬊*[?,?] ? )</td>
- <td class="snnn file cyan">csx_alt ( ⦃?,?⦄ ⊢ ⬊⬊*[?,?] ? )</td>
- <td class="snnn file cyan">csx_lift csx_lpx</td>
- <td class="ssnn file cyan">
- <br />
- </td>