参照语义学

referential semantics