+ <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="snnn top gray">
+ <br />
+ </td>
+ <td class="snnn top gray">
+ <br />
+ </td>
+ <td class="ssnn top gray">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic green">static typing</td>
+ <td class="snns top italic green">parameters</td>
+ <td class="snns top green">sh</td>
+ <td class="snnn top green">sd</td>
+ <td class="snnn top green">
+ <br />
+ </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">restricted ref. for local env.</td>
+ <td class="snns top green">lsubr ( ? ⫃ ? )</td>
+ <td class="snnn top green">lsubr_length lsubr_drops lsubr_lsubr</td>
+ <td class="snnn top green">
+ <br />
+ </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">ranged equivalence for closures</td>
+ <td class="snns top green">freq ( ⦃?,?,?⦄ ≡ ⦃?,?,?⦄ )</td>
+ <td class="snnn top green">freq_freq</td>
+ <td class="snnn top green">
+ <br />
+ </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">context-sensitive free variables</td>
+ <td class="snns top green">frees ( ? ⊢ 𝐅*⦃?⦄ ≡ ? )</td>
+ <td class="snnn top green">frees_weight frees_lreq frees_frees</td>
+ <td class="snnn top green">
+ <br />
+ </td>
+ <td class="ssnn top green">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic grass">s-computation</td>
+ <td class="snns top italic grass" />
+ <td class="snns top grass">
+ <br />
+ </td>
+ <td class="snnn top grass">
+ <br />
+ </td>
+ <td class="snnn top grass">
+ <br />
+ </td>
+ <td class="ssnn top grass">
+ <br />
+ </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="snnn top yellow">fquq_length fquq_weight</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </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="snnn top yellow">fqu_length fqu_weight</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </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="snnn top orange">
+ <br />
+ </td>
+ <td class="snnn top orange">
+ <br />
+ </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="snnn top orange">drops_lstar drops_weight drops_length drops_ceq drops_lexs drops_lreq drops_drops</td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="ssnn top orange">
+ <br />
+ </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="snnn top orange">lifts_lifts_vector</td>
+ <td class="snnn top orange">
+ <br />
+ </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">lifts ( ⬆*[?] ? ≡ ? )</td>
+ <td class="snnn top orange">lifts_simple lifts_weight lifts_lifts</td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="ssnn top orange">
+ <br />
+ </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="snnn top orange">lreq_length lreq_lreq</td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="ssnn top orange">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic orange">
+ <br />
+ </td>
+ <td class="snns top italic orange">generic entrywise extension of context-sensitive relations for terma</td>
+ <td class="snns top orange">lexs ( ? ⦻*[?,?,?] ? )</td>
+ <td class="snnn top orange">lexs_length lexs_lexs</td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="ssnn top orange">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic red">grammar</td>
+ <td class="snns top italic red">append for local environments</td>
+ <td class="snns top red">append ( ? @@ ? )</td>
+ <td class="snnn top red">append_length</td>
+ <td class="snnn top red">
+ <br />
+ </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">context-sensitive equivalences for terms</td>
+ <td class="snns top red">ceq</td>
+ <td class="snnn top red">ceq_ceq</td>
+ <td class="snnn top red">
+ <br />
+ </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">same top term structure</td>
+ <td class="snns top red">tsts ( ? ≂ ? )</td>
+ <td class="snnn top red">tsts_tsts tsts_vector</td>
+ <td class="snnn top red">
+ <br />
+ </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">closures</td>
+ <td class="snns top red">cl_weight ( ♯{?,?,?} )</td>
+ <td class="snnn top red">cl_restricted_weight ( ♯{?,?} )</td>
+ <td class="snnn top red">
+ <br />
+ </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">internal syntax</td>
+ <td class="snns top red">genv</td>
+ <td class="snnn top red">
+ <br />
+ </td>
+ <td class="snnn top red">
+ <br />
+ </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="snnn top red">lenv_weight ( ♯{?} )</td>
+ <td class="snnn 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">term</td>
+ <td class="snnn top red">term_weight ( ♯{?} )</td>
+ <td class="snnn top red">term_simple ( 𝐒⦃?⦄ )</td>
+ <td class="ssnn top red">term_vector ( Ⓐ?.? )</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="snnn top red">
+ <br />
+ </td>
+ <td class="snnn top red">
+ <br />
+ </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">external syntax</td>
+ <td class="snss top red">aarity</td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </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: Thu, 07 Apr 2016 15:45:52 +0200</div>
+ </body>