- <td class="snns top italic cyan">local env. ref. for generic reducibility</td>
- <td class="snns top cyan">lsubc ( ? ⊢ ? ⫃[?] ? )</td>
- <td class="snnn top cyan">lsubc_drop lsubc_drops lsubc_lsuba</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">support for generic computation properties</td>
- <td class="snns top cyan">gcp</td>
- <td class="snnn top cyan">gcp_cr ( ⦃?,?,?⦄ ϵ[?] 〚?〛 )</td>
- <td class="snnn top cyan">gcp_aaa</td>
- <td class="ssnn top cyan">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns top capitalize italic water">reduction</td>
- <td class="snns top italic water">parallel qrst-reduction</td>
- <td class="snns top water">fpbq ( ⦃?,?,?⦄ ≽[?,?] ⦃?,?,?⦄ )</td>
- <td class="snnn top water">fpbq_alt ( ⦃?,?,?⦄ ≽≽[?,?] ⦃?,?,?⦄ )</td>
- <td class="snnn top water">fpbq_lift fpbq_aaa</td>
- <td class="ssnn top water">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic water">
- <br />
- </td>
- <td class="nnns top italic water">
- <br />
- </td>
- <td class="snns top water">fpb ( ⦃?,?,?⦄ ≻[?,?] ⦃?,?,?⦄ )</td>
- <td class="snnn top water">fpb_lift fpb_lleq fpb_fleq</td>
- <td class="snnn top water">
- <br />
- </td>
- <td class="ssnn top water">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic water">
- <br />
- </td>
- <td class="snns top italic water">normal forms for context-sensitive rt-reduction</td>
- <td class="snns top water">cnx ( ⦃?,?⦄ ⊢ ➡[?,?] 𝐍⦃?⦄ )</td>
- <td class="snnn top water">cnx_lift cnx_crx cnx_cix</td>
- <td class="snnn top water">
- <br />
- </td>
- <td class="ssnn top water">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic water">
- <br />
- </td>
- <td class="snns top italic water">context-sensitive rt-reduction</td>
- <td class="snns top water">lpx ( ⦃?,?⦄ ⊢ ➡[?,?] ? )</td>
- <td class="snnn top water">lpx_drop lpx_frees lpx_lleq lpx_aaa</td>
- <td class="snnn top water">
- <br />
- </td>
- <td class="ssnn top water">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic water">
- <br />
- </td>
- <td class="nnns top italic water">
- <br />
- </td>
- <td class="snns top water">cpx ( ⦃?,?⦄ ⊢ ? ➡[?,?] ? )</td>
- <td class="snnn top water">cpx_lreq cpx_lift cpx_llpx_sn cpx_lleq cpx_cix</td>
- <td class="snnn top water">
- <br />
- </td>
- <td class="ssnn top water">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic water">
- <br />
- </td>
- <td class="snns top italic water">irreducible forms for context-sensitive rt-reduction</td>
- <td class="snns top water">cix ( ⦃?,?⦄ ⊢ ➡[?,?] 𝐈⦃?⦄ )</td>
- <td class="snnn top water">cix_lift</td>
- <td class="snnn top water">
- <br />
- </td>
- <td class="ssnn top water">
- <br />
- </td>