class "water"
[ { "computation" * } {
[ { "strongly normalizing computation" * } {
- [ "csn ( ⬇* ? )" "csn_cr" "csn_aaa" * ]
+ [ "csn_cr" "csn_aaa" * ]
+ [ "csn ( ⬇* ? )" "csn_lift" "csn_cpr" "csn_cprs ( ⬇** ? )" "csn_lcpr" * ]
}
]
[ { "context-sensitive computation" * } {
- [ "cprs (? ⊢ ? ➡* ?)" * ]
+ [ "cprs (? ⊢ ? ➡* ?)" "cprs_lcpr" "cprs_cprs" * ]
}
]
[ { "local env. ref. for abstract candidates of reducibility" * } {
]
class "green"
[ { "reducibility" * } {
- [ { "context-sensitive reduction" * } {
- [ "lcpr ( ? ⊢ ➡ ? )" * ]
- [ "cpr ( ? ⊢ ? ➡ ? )" "cpr_lift" "cpr_ltpr" "cpr_cpr" * ]
+ [ { "context-sensitive normal forms" * } {
+ [ "cnf ( ? ⊢ 𝐍[?] )" "cnf_lift" * ]
+ }
+ ]
+ [ { "context-sensitive reduction" * } {
+ [ "lcpr ( ? ⊢ ➡ ? )" "lcpr_cpr" * ]
+ [ "cpr ( ? ⊢ ? ➡ ? )" "cpr_lift" "cpr_ltpss" "cpr_ltpr" "cpr_cpr" * ]
}
]
[ { "context-free normal forms" * } {
}
]
[ { "context-free reduction" * } {
- [ "ltpr ( ? ➡ ? )" "ltpr_ldrop" * ]
+ [ "ltpr ( ? ➡ ? )" "ltpr_ldrop" "ltpr_tps" * ]
[ "tpr ( ? ➡ ? )" "tpr_lift" "tpr_tpss" "tpr_tpr" * ]
}
]
}
]
[ { "term hom." * } {
- [ "thom" "thom_thom" * ]
+ [ "thom ( ? ≈ ? )" "thom_thom" * ]
}
]
[ { "closures" * } {