}
]
(*
- class "wine"
+ class "magenta"
[ { "higher order dynamic typing" * } {
[ { "higher order native type assignment" * } {
[ "ntas ( ⦃?,?⦄ ⊢ ? :* ? )" "nta_lift" * ]
}
]
*)
- class "magenta"
+ class "prune"
[ { "dynamic typing" * } {
(*
[ { "local env. ref. for native type assignment" * } {
]
}
]
- class "prune"
+ class "blue"
[ { "equivalence" * } {
[ { "focalized equivalence" * } {
[ "lfpcs ( ⦃?⦄ ⬌* ⦃?⦄ )" "lfpcs_aaa" + "lfpcs_fpcs" + "lfpcs_lfprs" + "lfpcs_lfpcs" * ]
]
}
]
- class "blue"
+ class "sky"
[ { "conversion" * } {
[ { "focalized conversion" * } {
[ "lfpc ( ⦃?⦄ ⬌ ⦃?⦄ )" "lfpc_lfpc" * ]
]
}
]
- class "sky"
+ class "cyan"
[ { "computation" * } {
[ { "focalized computation" * } {
[ "lfprs ( ⦃?⦄ ➡* ⦃?⦄ )" "lfprs_aaa" + "lfprs_ltprs" + "lfprs_cprs" + "lfprs_fprs" + "lfprs_lfprs" * ]
]
}
]
- class "cyan"
+ class "water"
[ { "reducibility" * } {
[ { "context-sensitive focalized reduction" * } {
[ "cfpr ( ? ⊢ ⦃?,?⦄ ➡ ⦃?,?⦄ )" "cnfpr_ltpss" + "cfpr_aaa" + "cfpr_cpr" + "cfpr_cfpr" * ]
]
}
]
- class "water"
- [ { "restricted computation" * } {
+ class "green"
+ [ { "unfold" * } {
[ { "restricted parallel computation" * } {
[ "lpqs ( ? ⊢ ➤* ? )" "lpqs_ldrop" + "lpqs_cpqs" + "lpqs_lpqs" * ]
[ "cpqs ( ? ⊢ ? ➤* ? )" "cpqs_lift" * ]
}
]
- }
- ]
- class "green"
- [ { "unwind" * } {
+ [ { "unfold" * } {
+ [ "unfold ( ? ⊢ ? ⧫* ? )" * ]
+ }
+ ]
[ { "iterated stratified static type assignment" * } {
[ "sstas ( ⦃?,?⦄ ⊢ ? •*[?] ? )" "sstas_lift" + "sstas_lpss" + "sstas_aaa" + "sstas_sstas" * ]
}
}
]
class "yellow"
- [ { "unfold" * } {
+ [ { "substitution" * } {
(*
[ { "basic local env. thinning" * } {
[ "thin ( ? ▼*[?,?] ≡ ? )" "thin_ldrop" + "thin_delift" * ]
}
]
class "orange"
- [ { "substitution" * } {
+ [ { "relocation" * } {
[ { "structural successor for closures" * } {
[ "fsup ( ⦃?,?⦄ ⊃ ⦃?,?⦄ )" * ]
}