other,18-6-P86-1038,bq | logical model </term> in place of a <term> | denotational semantics | </term> . This <term> logical model </term> | #14769 Our interpretation differs from that of Pereira and Shieber by using a logical model in place of a denotational semantics . |