name "ld_basic_2_src" table { class "grey" [ { "component" * } { [ { "plane" * } { [ "files" * ] } ] } ] class "sky" [ { "native typing" * } { [ { "" * } { [ "nty" * ] } ] } ] class "cyan" [ { "conversion" * } { [ { "context-sensitive" * } { [ "cpcs" * ] } ] } ] class "water" [ { "computation" * } { [ { "strongly normalizing" * } { [ "csn" * ] } ] [ { "context-sensitive" * } { [ "cprs" * ] } ] } ] class "green" [ { "reduction" * } { [ { "context-sensitive" * } { [ "lcpr" * ] [ "cpr" "cpr_lift" "cpr_tpss" "cpr_cpr" * ] } ] [ { "context-free" * } { [ "ltpr" "ltpr_drop" * ] [ "tpr" "tpr_lift" "tpr_tpss" "tpr_tpr" * ] } ] } ] class "grass" [ { "static typing" * } { [ { "atomic arity ass." * } { [ "aaa" "aaa_lift" "aaa_aaa" * ] } ] [ { "static type ass." * } { [ "sty" "sty_lift" "sty_sty" * ] } ] } ] class "yellow" [ { "unfold" * } { [ { "partial" * } { [ "ltpss" "ltpss_drop" "ltpss_tps" "ltpss_ltpss" * ] [ "tpss" "tpss_lift" "tpss_tpss" "tpss_ltps" * ] } ] } ] class "orange" [ { "substitution" * } { [ { "parallel" * } { [ "ltps" "ltps_drop" "ltps_tps" "ltps_ltps" * ] [ "tps" "tps_lift" "tps_tps" * ] } ] [ { "local env. dropping" * } { [ "drop" "drop_drop" * ] } ] [ { "term relocation" * } { [ "lift" "lift_lift" * ] } ] } ] class "red" [ { "grammar" * } { [ { "local env. ref. for substitution" * } { [ "lsubs" "lsubs_lsubs" * ] } ] [ { "term hom." * } { [ "thom" "thom_thom" * ] } ] [ { "closures" * } { [ "cl_shift" "cl_weight" * ] } ] [ { "internal syntax" * } { [ "lenv" "lenv_weight" "lenv_length" * ] [ "term" "term_weight" "term_simple" * ] [ "item" * ] } ] [ { "external syntax" * } { [ "aarity" * ] } ] [ { "parameters" * } { [ "sh" * ] } ] } ] } class "component" { 0 } class "plane" { 1 } class "file" { 2 * }