形式表示语义学

• formal denotational semantics

参考释义

形式表示语义学

• -