- [ { "reduction" * } {
- [ { "context-sensitive" * } {
- [ "lcpr" * ]
- [ "cpr" "cpr_lift" "cpr_tpss" "cpr_cpr" * ]
- }
- ]
- [ { "context-free" * } {
- [ "ltpr" "ltpr_drop" * ]
- [ "tpr" "tpr_lift" "tpr_tpss" "tpr_tpr" * ]
- }
- ]
- }
+ [ { "reducibility" * } {
+ [ { "context-sensitive reduction" * } {
+ [ "lcpr" * ]
+ [ "cpr" "cpr_lift" "cpr_ltpr" "cpr_cpr" * ]
+ }
+ ]
+ [ { "context-free normal forms" * } {
+ [ "twhnf" "tnf" * ]
+ }
+ ]
+ [ { "context-free reduction" * } {
+ [ "ltpr" "ltpr_ldrop" * ]
+ [ "tpr" "tpr_lift" "tpr_tpss" "tpr_tpr" * ]
+ }
+ ]
+ [ { "context-free reducible forms" * } {
+ [ "trf" * ]
+ }
+ ]
+ [ { "support for abstract reduction" * } {
+ [ "apr" "apr_cr" * ]
+ }
+ ]
+ }