- <td class="nnns component blue">
- <br />
- </td>
- <td class="snns plane blue">context-sensitive conversion</td>
- <td class="snns file blue">cpc ( ? ⊢ ? ⬌ ? )</td>
- <td class="snnn file blue">cpc_cpc</td>
- <td class="snnn file blue">
- <br />
- </td>
- <td class="snnn file blue">
- <br />
- </td>
- <td class="ssnn file blue">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns component sky">computation</td>
- <td class="snns plane sky">focalized computation</td>
- <td class="snns file sky">lfprs ( ⦃?⦄ ➡* ⦃?⦄ )</td>
- <td class="snnn file sky">lfprs_aaa lfprs_ltprs lfprs_cprs lfprs_fprs lfprs_lfprs</td>
- <td class="snnn file sky">
- <br />
- </td>
- <td class="snnn file sky">
- <br />
- </td>
- <td class="ssnn file sky">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component sky">
- <br />
- </td>
- <td class="nnns plane sky">
- <br />
- </td>
- <td class="snns file sky">fprs ( ⦃?,?⦄ ➡* ⦃?,?⦄ )</td>
- <td class="snnn file sky">fprs_aaa fprs_fprs</td>
- <td class="snnn file sky">
- <br />
- </td>
- <td class="snnn file sky">
- <br />
- </td>
- <td class="ssnn file sky">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component sky">
- <br />
- </td>
- <td class="snns plane sky">decomposed extended computation</td>
- <td class="snns file sky">dxprs ( ⦃?,?⦄ ⊢ ? •*➡*[?] ? )</td>
- <td class="snnn file sky">dxprs_lift dxprs_ltpss_dx dxprs_ltpss_sn dxprs_aaa dxprs_dxprs</td>
- <td class="snnn file sky">
- <br />
- </td>
- <td class="snnn file sky">
- <br />
- </td>
- <td class="ssnn file sky">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component sky">
- <br />
- </td>
- <td class="snns plane sky">weakly normalizing computation</td>
- <td class="snns file sky">cpe ( ? ⊢ ➡* 𝐍⦃?⦄ )</td>
- <td class="snnn file sky">cpe_cpe</td>
- <td class="snnn file sky">
- <br />
- </td>
- <td class="snnn file sky">
- <br />
- </td>
- <td class="ssnn file sky">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component sky">
- <br />
- </td>
- <td class="snns plane sky">strongly normalizing computation</td>
- <td class="snns file sky">csn_vector ( ? ⊢ ⬊* ? )</td>
- <td class="snnn file sky">csn_cpr_vector csn_tstc_vector csn_aaa</td>
- <td class="snnn file sky">
- <br />
- </td>
- <td class="snnn file sky">
- <br />
- </td>
- <td class="ssnn file sky">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component sky">
- <br />
- </td>
- <td class="nnns plane sky">
- <br />
- </td>
- <td class="snns file sky">csn ( ? ⊢ ⬊* ? )</td>
- <td class="snnn file sky">csn_alt ( ? ⊢ ⬊⬊* ? )</td>
- <td class="snnn file sky">csn_lift csn_cpr csn_lfpr</td>
- <td class="snnn file sky">