- <td class="snns component magenta">dynamic typing</td>
- <td class="snns plane magenta">"big tree" parallel computation</td>
- <td class="snns file magenta">yprs ( ? ⊢ ⦃?,?⦄ ≥[g] ⦃?,?⦄ )</td>
- <td class="snnn file magenta">yprs_yprs</td>
- <td class="snnn file magenta">ygt ( ? ⊢ ⦃?,?⦄ >[g] ⦃?,?⦄ )</td>
- <td class="snnn file magenta">ygt_ygt</td>
- <td class="ssnn file magenta">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component magenta">
- <br />
- </td>
- <td class="snns plane magenta">"big tree" parallel reduction</td>
- <td class="snns file magenta">ypr ( ? ⊢ ⦃?,?⦄ ≽[g] ⦃?,?⦄ )</td>
- <td class="snnn file magenta">ysc ( ? ⊢ ⦃?,?⦄ ≻[g] ⦃?,?⦄ )</td>
- <td class="snnn file magenta">
- <br />
- </td>
- <td class="snnn file magenta">
- <br />
- </td>
- <td class="ssnn file magenta">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component magenta">
- <br />
- </td>
- <td class="snns plane magenta">local env. ref. for stratified native validity</td>
- <td class="snns file magenta">lsubsv ( ? ⊢ ? ¡⊑[?] ? )</td>
- <td class="snnn file magenta">lsubsv_ldrop lsubsv_lsuba lsubsv_ssta lsubsv_dxprs lsubsv_cpcs lsubsv_snv</td>
- <td class="snnn file magenta">
- <br />
- </td>
- <td class="snnn file magenta">
- <br />
- </td>
- <td class="ssnn file magenta">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component magenta">
- <br />
- </td>
- <td class="snns plane magenta">stratified native validity</td>
- <td class="snns file magenta">snv ( ⦃?,?⦄ ⊢ ? ¡[?] )</td>
- <td class="snnn file magenta">snv_lift snv_ltpss_dx snv_ltpss_sn snv_aaa snv_ssta snv_sstas snv_ssta_ltpr snv_ltpr snv_cpcs</td>
- <td class="snnn file magenta">
- <br />
- </td>
- <td class="snnn file magenta">
- <br />
- </td>
- <td class="ssnn file magenta">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns component prune">equivalence</td>
- <td class="snns plane prune">focalized equivalence</td>
- <td class="snns file prune">lfpcs ( ⦃?⦄ ⬌* ⦃?⦄ )</td>
- <td class="snnn file prune">lfpcs_aaa lfpcs_fpcs lfpcs_lfprs lfpcs_lfpcs</td>
- <td class="snnn file prune">
- <br />
- </td>
- <td class="snnn file prune">
- <br />
- </td>
+ <td class="snns component prune">dynamic typing</td>
+ <td class="snns plane prune">"big tree" parallel computation</td>
+ <td class="snns file prune">yprs ( ? ⊢ ⦃?,?⦄ ≥[g] ⦃?,?⦄ )</td>
+ <td class="snnn file prune">yprs_yprs</td>
+ <td class="snnn file prune">ygt ( ? ⊢ ⦃?,?⦄ >[g] ⦃?,?⦄ )</td>
+ <td class="snnn file prune">ygt_ygt</td>