helm/www/lambda_delta/web/home/ld_basic_2.tbl

   1 name "ld_basic_2_src"
   2
   3 table {
   4    class "grey"
   5    [ { "component" * } {
   6         [ { "plane" * } {
   7              [ "files" * ]
   8           }
   9         ]
  10      }
  11    ]
  12    class "blue"
  13    [ { "examples" * } {
  14         [ { "" * } {
  15              [ "" * ]
  16           }
  17         ]
  18      }
  19    ]
  20    class "sky"
  21    [ { "native typing" * } {
  22         [ { "" * } {
  23              [ "nty" * ]
  24           }
  25         ]
  26      }
  27    ]
  28    class "cyan"
  29    [ { "conversion" * } {
  30         [ { "context-sensitive conversion" * } {
  31              [ "cpcs" * ]
  32           }
  33         ]
  34      }
  35    ]
  36    class "water"
  37    [ { "computation" * } {
  38         [ { "strongly normalizing computation" * } {
  39              [ "csn" * ]
  40           }
  41         ]
  42         [ { "context-sensitive computation" * } {
  43              [ "cprs" * ]
  44           }
  45         ]
  46      }
  47    ]
  48    class "green"
  49    [ { "reducibility" * } {
  50         [ { "context-sensitive reduction" * } {
  51              [ "lcpr" * ]
  52              [ "cpr" "cpr_lift" "cpr_ltpr" "cpr_cpr" * ]
  53           }
  54         ]
  55         [ { "context-free normal forms" * } {
  56              [ "twhnf" "tnf" * ]
  57           }
  58         ]
  59         [ { "context-free reduction" * } {
  60              [ "ltpr" "ltpr_ldrop" * ]
  61              [ "tpr"  "tpr_lift" "tpr_tpss" "tpr_tpr" * ]
  62           }
  63         ]
  64         [ { "context-free reducible forms" * } {
  65              [ "trf" * ]
  66           }
  67         ]
  68         [ { "support for abstract reduction" * } {
  69              [ "apr" "apr_cr" * ]
  70           }
  71         ]
  72      }
  73    ]
  74    class "grass"
  75    [ { "static typing" * } {
  76         [ { "static type ass." * } {
  77              [ "sty" "sty_lift" "sty_sty" * ]
  78           }
  79         ]
  80         [ { "atomic arity ass." * } {
  81              [ "aaa" "aaa_lift" "aaa_aaa" * ]
  82           }
  83         ]
  84         [ { "parameters" * } {
  85              [ "sh" * ]
  86           }
  87         ]
  88      }
  89    ]
  90    class "yellow"
  91    [ { "unfold" * } {
  92         [ { "term inverse relocation" * } {
  93              [ "delift" * ]
  94           }
  95         ]
  96         [ { "partial unfold" * } {
  97              [ "ltpss" "ltpss_ldrop" "ltpss_tps" "ltpss_ltpss" * ]
  98              [ "tpss" "tpss_lift" "tpss_tpss" "tpss_ltps" * ]
  99           }
 100         ]
 101      }
 102    ]
 103    class "orange"
 104    [ { "substitution" * } {
 105         [ { "parallel substitution" * } {
 106              [ "ltps" "ltps_ldrop" "ltps_tps" "ltps_ltps" * ]
 107              [ "tps" "tps_lift" "tps_tps" * ]
 108           }
 109         ]
 110         [ { "local env. dropping" * } {
 111              [ "ldrop" "ldrop_ldrop" * ]
 112           }
 113         ]
 114         [ { "term relocation" * } {
 115              [ "lift" "lift_lift" * ]
 116           }
 117         ]
 118      }
 119    ]
 120    class "red"
 121    [ { "grammar" * } {
 122         [ { "local env. ref. for substitution" * } {
 123              [ "lsubs" "lsubs_lsubs" * ]
 124           }
 125         ]
 126         [ { "term hom." * } {
 127              [ "thom" "thom_thom" * ]
 128           }
 129         ]
 130         [ { "closures" * } {
 131              [ "cl_shift" "cl_weight" * ]
 132           }
 133         ]
 134         [ { "internal syntax" * } {
 135              [ "lenv" "lenv_weight" "lenv_length" * ]
 136              [ "term" "term_weight" "term_simple" * ]
 137              [ "item" * ]
 138           }
 139         ]
 140         [ { "external syntax" * } {
 141              [ "aarity" * ]
 142           }
 143         ]
 144      }
 145    ]
 146 }
 147
 148 class "component" { 0 }
 149
 150 class "plane" { 1 }
 151
 152 class "file" { 2 * }