[ { "denotational equivalence" * } {
[ "deq" + "( ? ⊢ ? ≗{?} ? )" "deq_cpr" * ]
}
]
[ { "local environment interpretation" * } {
[ { "denotational equivalence" * } {
[ "deq" + "( ? ⊢ ? ≗{?} ? )" "deq_cpr" * ]
}
]
[ { "local environment interpretation" * } {
]
[ { "model declaration" * } {
[ "model" + "( ? ≗{?} ? )" + "( ? @{?} ? )" + "( ⟦?⟧{?}[?,?] )"
]
[ { "model declaration" * } {
[ "model" + "( ? ≗{?} ? )" + "( ? @{?} ? )" + "( ⟦?⟧{?}[?,?] )"