- [ { "evaluation for context-sensitive rt-reduction" * } {
- [ [ "" ] "cpxe ( β¦?,?β¦ β’ β‘*[?,?] πβ¦?β¦ )" * ]
- }
- ]
- [ { "evaluation for context-sensitive reduction" * } {
- [ [ "" ] "cpre ( β¦?,?β¦ β’ β‘* πβ¦?β¦ )" "cpre_cpre" * ]
- }
- ]
- [ { "strongly normalizing qrst-computation" * } {
- [ [ "" ] "fsb ( β¦₯[?,?] β¦?,?,?β¦ )" "fsb_alt ( β¦₯β¦₯[?,?] β¦?,?,?β¦ )" "fsb_aaa" + "fsb_csx" * ]
- }
- ]
- [ { "parallel qrst-computation" * } {
-
- }
- ]