语义学semantics
组合语义学compositional semantics【语】
生成语义学generative semantics【语】
【计】 部分功能语义学partial function semantics
【计】 解释语义interpretive semantics
动态语义dynamic semantics【语】
普通语义学general semantics【语】;universal semantics【语】
程序设计语言语义programming language semantics【计】