class "orange"
[ { "models" * } {
[ { "denotational equivalence" * } {
- [ "deq" + "( ? ⊢ ? ≗{?} ? )" * ]
+ [ "deq" + "( ? ⊢ ? ≗{?} ? )" "deq_cpr" * ]
}
]
[ { "evaluation equivalence" * } {
"model_vlift" + "( ⫯{?}[?]? )" + "( ⫯{?}[?←?]? )"
"model_props"
"model_li" + "( ? ϵ ⟦?⟧{?}[?] )"
+ "model_gi"
* ]
}
]