Value: denotational

Edit | Back