- <td class="snns top capitalize italic wine">examples</td>
- <td class="snns top italic wine">terms with special features</td>
- <td class="snns top wine">ex_sta_ldec ex_cpr_omega</td>
- <td class="snnn top wine">
- <br />
- </td>
- <td class="snnn top wine">
- <br />
- </td>
- <td class="ssnn top wine">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns top capitalize italic magenta" />
- <td class="snns top italic magenta" />
- <td class="snns top magenta" />
- <td class="snnn top magenta">
- <br />
- </td>
- <td class="snnn top magenta">
- <br />
- </td>
- <td class="ssnn top magenta">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns top capitalize italic prune">dynamic typing</td>
- <td class="snns top italic prune">local env. ref. for stratified native validity</td>
- <td class="snns top prune">lsubsv ( ? ⊢ ? ⫃¡[?,?] ? )</td>
- <td class="snnn top prune">lsubsv_lsuba lsubsv_lsubd lsubsv_lstas lsubsv_scpds lsubsv_cpcs lsubsv_snv</td>
- <td class="snnn top prune">
- <br />
- </td>
- <td class="ssnn top prune">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic prune">
- <br />
- </td>
- <td class="snns top italic prune">stratified native validity</td>
- <td class="snns top prune">shnv ( ⦃?,?⦄ ⊢ ? ¡[?,?,?] )</td>
- <td class="snnn top prune">
- <br />
- </td>
- <td class="snnn top prune">
- <br />
- </td>
- <td class="ssnn top prune">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic prune">
- <br />
- </td>
- <td class="nnns top italic prune">
- <br />
- </td>
- <td class="snns top prune">snv ( ⦃?,?⦄ ⊢ ? ¡[?,?] )</td>
- <td class="snnn top prune">snv_lift snv_aaa snv_da_lpr snv_lstas snv_lstas_lpr snv_lpr snv_scpes snv_preserve</td>
- <td class="snnn top prune">
- <br />
- </td>
- <td class="ssnn top prune">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns top capitalize italic blue">equivalence</td>
- <td class="snns top italic blue">decomposed extended equivalence</td>
- <td class="snns top blue">scpes ( ⦃?,?⦄ ⊢ ? •*⬌*[?,?,?,?] ? )</td>
- <td class="snnn top blue">scpes_aaa scpes_cpcs scpes_scpes</td>
- <td class="snnn top blue">
- <br />
- </td>
- <td class="ssnn top blue">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic blue">
- <br />
- </td>
- <td class="snns top italic blue">context-sensitive equivalence</td>
- <td class="snns top blue">cpcs ( ⦃?,?⦄ ⊢ ? ⬌* ? )</td>
- <td class="snnn top blue">cpcs_aaa cpcs_cprs cpcs_cpcs</td>
- <td class="snnn top blue">
- <br />
- </td>
- <td class="ssnn top blue">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns top capitalize italic sky">conversion</td>
- <td class="snns top italic sky">context-sensitive conversion</td>
- <td class="snns top sky">cpc ( ⦃?,?⦄ ⊢ ? ⬌ ? )</td>
- <td class="snnn top sky">cpc_cpc</td>
- <td class="snnn top sky">
- <br />
- </td>
- <td class="ssnn top sky">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns top capitalize italic cyan">computation</td>
- <td class="snns top italic cyan">evaluation for context-sensitive extended reduction</td>
- <td class="snns top cyan">cpxe ( ⦃?,?⦄ ⊢ ➡*[?,?] 𝐍⦃?⦄ )</td>
- <td class="snnn top cyan">
- <br />
- </td>
- <td class="snnn top cyan">
- <br />
- </td>
- <td class="ssnn top cyan">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic cyan">
- <br />
- </td>
- <td class="snns top italic cyan">evaluation for context-sensitive reduction</td>
- <td class="snns top cyan">cpre ( ⦃?,?⦄ ⊢ ➡* 𝐍⦃?⦄ )</td>
- <td class="snnn top cyan">cpre_cpre</td>
- <td class="snnn top cyan">
- <br />
- </td>
- <td class="ssnn top cyan">
- <br />
- </td>