helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <ld:page xmlns:ld="http://lambda_delta.info"
   4       description = "lambda_delta version 2"
   5       title = "lambda_delta version 2"
   6       head = "cic:/matita/lambda_delta/Basic_2/ (λδ version 2)"
   7 >
   8    <ld:section>System's Syntax and Behavior</ld:section>
   9    <ld:body>This is a summary of the "block structure"
  10             of the System's syntactic items and reductions.
  11    </ld:body>
  12    <ld:table name="ld_basic_2_blk"/>
  13    <ld:body>* In terms only.
  14             ** In terms and local environments only.
  15             *** In global environments only.
  16             **** Sort level k in terms only.
  17    </ld:body>
  18
  19    <ld:section>Summary of the Specification</ld:section>
  20    <ld:body>Here is a numerical acount of the specification's contents
  21             and its timeline.
  22    </ld:body>
  23    <ld:table name="ld_Basic_2_sum"/>
  24    <ld:news date="2012 January 27.">
  25             Support for abstract candidates of reducibility closed.
  26    </ld:news>
  27    <ld:news date="2011 September 21.">
  28             Confluence of context-sensitive parallel reduction closed.
  29    </ld:news>
  30    <ld:news date="2011 September 6.">
  31             Confluence of context-free parallel reduction closed.
  32    </ld:news>
  33    <ld:news date="2011 April 17.">
  34             Specification started.
  35    </ld:news>
  36
  37    <ld:section>Logical Structure of the Specification</ld:section>
  38    <ld:body>The source files are grouped in planes and components
  39             according to the following table.
  40             The notation for the relations or functions introduced in each file
  41             is shown in parentheses.
  42    </ld:body>
  43    <ld:table name="ld_basic_2_src"/>
  44
  45    <ld:section>Physical Structure of the Specification</ld:section>
  46    <ld:body>The source files are grouped in directories, one for each
  47             component.
  48    </ld:body>
  49    <ld:footer/>
  50 </ld:page>