指称语义学-一流百科

指称语义学

指称语义学的语言语言学vte在计算机科学中，指称语义学（最初被称为数学语义学或Scott-Strachey语义学）是一种通过构建描述语言表达式含义的数学对象（称为指...