]
class "cyan"
[ { "computation" * } {
- [ { "context-sensitive extended evaluation" * } {
+ [ { "evaluation for context-sensitive extended reduction" * } {
[ "cpxe ( β¦?,?β¦ β’ β‘*[?,?] πβ¦?β¦ )" * ]
}
]
- [ { "context-sensitive evaluation" * } {
+ [ { "evaluation for context-sensitive reduction" * } {
[ "cpre ( β¦?,?β¦ β’ β‘* πβ¦?β¦ )" "cpre_cpre" * ]
}
]
[ "lleq ( ? β[?,?] ? )" "lleq_alt ( ? ββ[?,?] ? )" "lleq_ldrop" + "lleq_fqus" + "lleq_lleq" + "lleq_ext" * ]
}
]
+ [ { "evaluation for contxt-sensitive extended substitution" * } {
+ [ "cpye ( β¦?,?β¦ β’ ? βΆ*[?,?] πβ¦?β¦ )" "cpye_alt ( β¦?,?β¦ β’ ? βΆβΆ*[?,?] πβ¦?β¦ )" "cpye_lift" * ]
+ }
+ ]
[ { "contxt-sensitive extended multiple substitution" * } {
[ "cpys ( β¦?,?β¦ β’ ? βΆ*[?,?] ? )" "cpys_alt ( β¦?,?β¦ β’ ? βΆβΆ*[?,?] ? )" "cpys_lift" + "cpys_cpys" * ]
}