- [ { "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" * ]