other,1-7-P86-1038,bq | denotational semantics </term> . This <term> | logical model | </term> yields a calculus of <term> equivalences | #14773 This logical model yields a calculus of equivalences, which can be used to simplify formulas. |
other,12-6-P86-1038,bq | of Pereira and Shieber by using a <term> | logical model | </term> in place of a <term> denotational | #14763 Our interpretation differs from that of Pereira and Shieber by using a logical model in place of a denotational semantics. |