- </li>
- </ul>
- <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="structure">Logical Structure of the Specification <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b4.png" />
- </div>
- <div xmlns:ld="http://lambdadelta.info/" class="text">This table reports the specification's components and their planes.
- </div>
- <div xmlns:ld="http://lambdadelta.info/" class="text">
- <table cellpadding="4" cellspacing="0">
- <tbody>
- <tr>
- <td class="snns top capitalize italic gray">component</td>
- <td class="snns top italic gray">plane</td>
- <td class="snns top gray">files</td>
- <td class="ssnn top gray">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns top capitalize italic sky">rt-computation</td>
- <td class="snns top italic sky">uncounted context-sensitive rt-transition</td>
- <td class="snns top sky">csx_vector ( ⦃?,?⦄ ⊢ ⬈*[?,?] 𝐒⦃?⦄ )</td>
- <td class="ssnn top sky">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic sky">
- <br />
- </td>
- <td class="nnns top italic sky">
- <br />
- </td>
- <td class="snns top sky">csx ( ⦃?,?⦄ ⊢ ⬈*[?,?] 𝐒⦃?⦄ )</td>
- <td class="ssnn top sky">csx_cnx csx_cpxs csx_csx</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic sky">
- <br />
- </td>
- <td class="nnns top italic sky">
- <br />
- </td>
- <td class="snns top sky">lfpxs ( ⦃?,?⦄ ⊢ ⬈*[?,?] ? )</td>
- <td class="ssnn top sky">lfpxs_length lfpxs_fqup</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic sky">
- <br />
- </td>
- <td class="nnns top italic sky">
- <br />
- </td>
- <td class="snns top sky">cpxs ( ⦃?,?⦄ ⊢ ? ⬈*[?] ? )</td>
- <td class="ssnn top sky">cpxs_tdeq cpxs_drops cpxs_lfpx cpxs_cpxs</td>
- </tr>
- <tr>
- <td class="snns top capitalize italic cyan">rt-transition</td>
- <td class="snns top italic cyan">parallel qrst-transition</td>
- <td class="snns top cyan">fpb ( ⦃?,?,?⦄ ≻[?,?] ⦃?,?,?⦄ )</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">t-bound context-sensitive rt-transition</td>
- <td class="snns top cyan">lfpr ( ⦃?,?⦄ ⊢ ➡[?,?] ? )</td>
- <td class="ssnn top cyan">lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic cyan">
- <br />
- </td>
- <td class="nnns top italic cyan">
- <br />
- </td>
- <td class="snns top cyan">cpr ( ⦃?,?⦄ ⊢ ? ➡[?] ? )</td>
- <td class="ssnn top cyan">cpr_drops</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic cyan">
- <br />
- </td>
- <td class="nnns top italic cyan">
- <br />
- </td>
- <td class="snns top cyan">cpm ( ⦃?,?⦄ ⊢ ? ➡[?,?] ? )</td>
- <td class="ssnn top cyan">cpm_simple cpm_drops cpm_lsubr cpm_lfxs cpm_cpx</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic cyan">
- <br />
- </td>
- <td class="snns top italic cyan">uncounted context-sensitive rt-transition</td>
- <td class="snns top cyan">cnx ( ⦃?,?⦄ ⊢ ⬈[?,?] 𝐍⦃?⦄ )</td>
- <td class="ssnn top cyan">cnx_simple cnx_drops</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic cyan">
- <br />
- </td>
- <td class="nnns top italic cyan">
- <br />
- </td>
- <td class="snns top cyan">lfpx ( ⦃?,?⦄ ⊢ ⬈[?,?] ? )</td>
- <td class="ssnn top cyan">lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_lfdeq lfpx_aaa lfpx_lfpx</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic cyan">
- <br />
- </td>
- <td class="nnns top italic cyan">
- <br />
- </td>
- <td class="snns top cyan">cpx ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
- <td class="ssnn top cyan">cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic cyan">
- <br />
- </td>
- <td class="snns top italic cyan">counted context-sensitive rt-transition</td>
- <td class="snns top cyan">cpg ( ⦃?,?⦄ ⊢ ? ⬈[?,?] ? )</td>
- <td class="ssnn top cyan">cpg_simple cpg_drops cpg_lsubr</td>
- </tr>
- <tr>
- <td class="snns top capitalize italic water">iterated static typing</td>
- <td class="snns top italic water">generic extension on referred entries</td>
- <td class="snns top water">lfxss ( ? ⦻**[?,?] ? )</td>
- <td class="ssnn top water">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns top capitalize italic green">static typing</td>
- <td class="snns top italic green">generic reducibility</td>
- <td class="snns top green">lsubc ( ? ⊢ ? ⫃[?] ? )</td>
- <td class="ssnn top green">lsubc_drops lsubc_lsubr lsubc_lsuba</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic green">
- <br />
- </td>
- <td class="nnns top italic green">
- <br />
- </td>
- <td class="snns top green">gcp_cr ( ⦃?,?,?⦄ ϵ[?] 〚?〛 )</td>
- <td class="ssnn top green">gcp_aaa</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic green">
- <br />
- </td>
- <td class="nnns top italic green">
- <br />
- </td>
- <td class="snns top green">gcp</td>
- <td class="ssnn top green">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic green">
- <br />
- </td>
- <td class="snns top italic green">atomic arity assignment</td>
- <td class="snns top green">lsuba ( ? ⊢ ? ⫃⁝ ? )</td>
- <td class="ssnn top green">lsuba_drops lsuba_lsubr lsuba_aaa lsuba_lsuba</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic green">
- <br />
- </td>
- <td class="nnns top italic green">
- <br />
- </td>
- <td class="snns top green">aaa ( ⦃?,?⦄ ⊢ ? ⁝ ? )</td>
- <td class="ssnn top green">aaa_drops aaa_fqus aaa_lfdeq aaa_aaa</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic green">
- <br />
- </td>
- <td class="snns top italic green">degree-based equivalence on referred entries</td>
- <td class="snns top green">ffdeq ( ⦃?,?,?⦄ ≡[?,?] ⦃?,?,?⦄ )</td>
- <td class="ssnn top green">ffdeq_fqup ffdeq_ffdeq</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic green">
- <br />
- </td>
- <td class="nnns top italic green">
- <br />
- </td>
- <td class="snns top green">lfdeq ( ? ≡[?,?,?] ? )</td>
- <td class="ssnn top green">lfdeq_length lfdeq_fqup lfdeq_lfdeq</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic green">
- <br />
- </td>
- <td class="snns top italic green">generic extension on referred entries</td>
- <td class="snns top green">lfxs ( ? ⦻*[?,?] ? )</td>
- <td class="ssnn top green">lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic green">
- <br />
- </td>
- <td class="snns top italic green">context-sensitive free variables</td>
- <td class="snns top green">lsubf ( ⦃?,?⦄ ⫃𝐅* ⦃?,?⦄ )</td>
- <td class="ssnn top green">lsubf_frees</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic green">
- <br />
- </td>
- <td class="nnns top italic green">
- <br />
- </td>
- <td class="snns top green">frees ( ? ⊢ 𝐅*⦃?⦄ ≡ ? )</td>
- <td class="ssnn top green">frees_drops frees_fqup frees_frees</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic green">
- <br />
- </td>
- <td class="snns top italic green">restricted ref. for local env.</td>
- <td class="snns top green">lsubr ( ? ⫃ ? )</td>
- <td class="ssnn top green">lsubr_length lsubr_drops lsubr_lsubr</td>
- </tr>
- <tr>
- <td class="snns top capitalize italic grass">s-computation</td>
- <td class="snns top italic grass">iterated structural successor for closures</td>
- <td class="snns top grass">fqus ( ⦃?,?,?⦄ ⊐* ⦃?,?,?⦄ )</td>
- <td class="ssnn top grass">fqus_weight fqus_drops fqus_fqup fqus_fqus</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic grass">
- <br />
- </td>
- <td class="nnns top italic grass">
- <br />
- </td>
- <td class="snns top grass">fqup ( ⦃?,?,?⦄ ⊐+ ⦃?,?,?⦄ )</td>
- <td class="ssnn top grass">fqup_weight fqup_drops fqup_fqup</td>
- </tr>
- <tr>
- <td class="snns top capitalize italic yellow">s-transition</td>
- <td class="snns top italic yellow">structural successor for closures</td>
- <td class="snns top yellow">fquq ( ⦃?,?,?⦄ ⊐⸮ ⦃?,?,?⦄ )</td>
- <td class="ssnn top yellow">fquq_length fquq_weight</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic yellow">
- <br />
- </td>
- <td class="nnns top italic yellow">
- <br />
- </td>
- <td class="snns top yellow">fqu ( ⦃?,?,?⦄ ⊐ ⦃?,?,?⦄ )</td>
- <td class="ssnn top yellow">fqu_length fqu_weight</td>
- </tr>
- <tr>
- <td class="snns top capitalize italic orange">relocation</td>
- <td class="snns top italic orange">generic slicing for local environments</td>
- <td class="snns top orange">drops_vector ( ⬇*[?,?] ? ≡ ? ) ( ⬇*[?] ? ≡ ? )</td>
- <td class="ssnn top orange">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic orange">
- <br />
- </td>
- <td class="nnns top italic orange">
- <br />
- </td>
- <td class="snns top orange">drops ( ⬇*[?,?] ? ≡ ? ) ( ⬇*[?] ? ≡ ? )</td>
- <td class="ssnn top orange">drops_lstar drops_weight drops_length drops_ceq drops_lexs drops_lreq drops_drops</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic orange">
- <br />
- </td>
- <td class="snns top italic orange">generic relocation for terms</td>
- <td class="snns top orange">lifts_vector ( ⬆*[?] ? ≡ ? )</td>
- <td class="ssnn top orange">lifts_lifts_vector</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic orange">
- <br />
- </td>
- <td class="nnns top italic orange">
- <br />
- </td>
- <td class="snns top orange">lifts ( ⬆*[?] ? ≡ ? )</td>
- <td class="ssnn top orange">lifts_simple lifts_weight lifts_tdeq lifts_lifts</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic orange">
- <br />
- </td>
- <td class="snns top italic orange">ranged equivalence for local environments</td>
- <td class="snns top orange">lreq ( ? ≡[?] ? )</td>
- <td class="ssnn top orange">lreq_length lreq_lreq</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic orange">
- <br />
- </td>
- <td class="snns top italic orange">generic entrywise extension</td>
- <td class="snns top orange">lexs ( ? ⦻*[?,?,?] ? )</td>
- <td class="ssnn top orange">lexs_length lexs_lexs</td>
- </tr>
- <tr>
- <td class="snns top capitalize italic red">syntax</td>
- <td class="snns top italic red">append for local environments</td>
- <td class="snns top red">append ( ? @@ ? )</td>
- <td class="ssnn top red">append_length</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="snns top italic red">degree-based equivalence for terms</td>
- <td class="snns top red">deq ( ? ≡[?,?] ? ) </td>
- <td class="ssnn top red">deq_deq</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="snns top italic red">same top term structure</td>
- <td class="snns top red">tsts ( ? ≂ ? )</td>
- <td class="ssnn top red">tsts_tsts tsts_vector</td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="snns top italic red">closures</td>
- <td class="snns top red">cl_weight ( ♯{?,?,?} )</td>
- <td class="ssnn top red">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="nnns top italic red">
- <br />
- </td>
- <td class="snns top red">cl_restricted_weight ( ♯{?,?} )</td>
- <td class="ssnn top red">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="snns top italic red">global environments</td>
- <td class="snns top red">genv</td>
- <td class="ssnn top red">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="snns top italic red">local environments</td>
- <td class="snns top red">lenv_length ( |?| )</td>
- <td class="ssnn top red">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="nnns top italic red">
- <br />
- </td>
- <td class="snns top red">lenv_weight ( ♯{?} )</td>
- <td class="ssnn top red">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="nnns top italic red">
- <br />
- </td>
- <td class="snns top red">lenv</td>
- <td class="ssnn top red">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="snns top italic red">terms</td>
- <td class="snns top red">term_vector ( Ⓐ?.? )</td>
- <td class="ssnn top red">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="nnns top italic red">
- <br />
- </td>
- <td class="snns top red">term_simple ( 𝐒⦃?⦄ )</td>
- <td class="ssnn top red">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="nnns top italic red">
- <br />
- </td>
- <td class="snns top red">term_weight ( ♯{?} )</td>
- <td class="ssnn top red">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="nnns top italic red">
- <br />
- </td>
- <td class="snns top red">term</td>
- <td class="ssnn top red">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="snns top italic red">items</td>
- <td class="snns top red">item_sd</td>
- <td class="ssnn top red">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="nnns top italic red">
- <br />
- </td>
- <td class="snns top red">item_sh</td>
- <td class="ssnn top red">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns top capitalize italic red">
- <br />
- </td>
- <td class="nnns top italic red">
- <br />
- </td>
- <td class="snns top red">item</td>
- <td class="ssnn top red">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnss top capitalize italic red">
- <br />
- </td>
- <td class="snss top italic red">atomic arities</td>
- <td class="snss top red">aarity</td>
- <td class="sssn top red">
- <br />
- </td>
- </tr>
- </tbody>
- </table>
- </div>
- <div class="spacer">
- <img class="rule" alt="[Spacer]" title="\lambda\delta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
- </div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">
- <br />
- </div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">
- <a href="http://validator.w3.org/check?uri=referer">
- <img class="w3c" alt="[Valid XHTML 1.1]" title="Valid XHTML 1.1" src="http://www.w3.org/Icons/valid-xhtml11-blue" />
- </a>
- <a href="http://jigsaw.w3.org/css-validator/check/referer">
- <img class="w3c" alt="[Valid CSS level 2]" title="Valid CSS level 2" src="http://www.w3.org/Icons/valid-css2-blue" />
- </a>
- <a href="http://www.w3.org/XML/">
- <img class="w3c" alt="[Generated from XML via XSL]" title="Generated from XML via XSL" src="http://lambdadelta.info/images/xml_xsl2.png" />
- </a>
- <a href="http://www.w3.org/Graphics/PNG/">
- <img class="w3c" alt="[PNG used here]" title="PNG used here" src="http://lambdadelta.info/images/PNGnow2.png" />
- </a>
- <a href="http://www.anybrowser.org/campaign/">
- <img class="w3c" alt="[Viewable with any browser]" title="Viewable with any browser" src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png" />
- </a>
- </div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">
- <br />
- </div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 08 Mar 2017 22:36:31 +0100</div>
- </body>
-</html>