| 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. |
| other,8-9-P86-1038,bq | allows a careful examination of the <term> | computational complexity | </term> of <term> unification </term> . We have | #14813 Our model allows a careful examination of the computational complexity of unification. |
