- <td class="snns component prune">dynamic typing</td>
- <td class="snns plane prune">"big tree" parallel computation</td>
- <td class="snns file prune">ygt ( ⦃?,?,?⦄ >[?,?] ⦃?,?,?⦄ )</td>
- <td class="snnn file prune">ygt_lift ygt_ygt</td>
- <td class="snnn file prune">
- <br />
- </td>
- <td class="ssnn file prune">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component prune">
- <br />
- </td>
- <td class="nnns plane prune">
- <br />
- </td>
- <td class="snns file prune">yprs ( ? ⊢ ⦃?,?,?⦄ ≥[?,?] ⦃?,?,?⦄ )</td>
- <td class="snnn file prune">yprs_lift yprs_yprs</td>
- <td class="snnn file prune">
- <br />
- </td>
- <td class="ssnn file prune">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component prune">
- <br />
- </td>
- <td class="snns plane prune">"big tree" parallel reduction</td>
- <td class="snns file prune">ypr ( ⦃?,?,?⦄ ≽[?,?] ⦃?,?,?⦄ )</td>
- <td class="snnn file prune">ysc ( ⦃?,?,?⦄ ≻[?,?] ⦃?,?,?⦄ )</td>
- <td class="snnn file prune">
- <br />
- </td>
- <td class="ssnn file prune">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component prune">
- <br />
- </td>
- <td class="snns plane prune">local env. ref. for stratified native validity</td>
- <td class="snns file prune">lsubsv ( ? ⊢ ? ¡⊑[?,?] ? )</td>
- <td class="snnn file prune">lsubsv_ldrop lsubsv_lsubd lsubsv_lsuba lsubsv_lsstas lsubsv_cpds lsubsv_cpcs lsubsv_snv</td>
- <td class="snnn file prune">
- <br />
- </td>
- <td class="ssnn file prune">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component prune">
- <br />
- </td>
- <td class="snns plane prune">stratified native validity</td>
- <td class="snns file prune">snv ( ⦃?,?⦄ ⊢ ? ¡[?,?] )</td>
- <td class="snnn file prune">snv_lift snv_da_lpr snv_aaa snv_lsstas snv_lsstas_lpr snv_lpr snv_cpcs</td>
- <td class="snnn file prune">
- <br />
- </td>
- <td class="ssnn file prune">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns component blue">equivalence</td>
- <td class="snns plane blue">decomposed extended equivalence</td>
- <td class="snns file blue">cpes ( ⦃?,?⦄ ⊢ ? •*⬌*[?,?] ? )</td>
- <td class="snnn file blue">cpes_cpds</td>
- <td class="snnn file blue">
- <br />
- </td>
- <td class="ssnn file blue">
- <br />
- </td>
- </tr>
- <tr>
- <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>