The standard iNTerpretation of a term in some language yields the term' s standard denotational semaNTics, i.e. its "meaning". This is usually given by a semaNTic function which maps a term in the abstract syNTax to a poiNT in some domain. The domain is the iNTerpretation of the term' s type. The semaNTic function also takes an environmeNT - a function which maps the free variables of the term to their meaning. We say that a domain poiNT "denotes", or "is the denotation of", a term. A non-standard semaNTics results from some other iNTerpretation, e.g. an abstract iNTerpretation.

In addition suitable coNTeNTs:
[ abstract iNTerpretation ] [ abstract syNTax ] [ ag ] [ ai ] [ al ] [ an ] [ ar ] [ at ] [ b ] [ bs ] [ by ] [ ch ] [ de ] [ denotational semaNTics ] [ do ] [ domain ] [ ee ] [ environmeNT ] [ er ] [ es ] [ et ] [ fr ] [ free ] [ free variable ] [ function ] [ ge ] [ gi ] [ gu ] [ h ] [ hat ] [ ie ] [ in ] [ iNT ] [ io ] [ ir ] [ iron ] [ is ] [ it ] [ ke ] [ la ] [ language ] [ ld ] [ ls ] [ lt ] [ ly ] [ ma ] [ man ] [ map ] [ na ] [ nc ] [ ng ] [ ni ] [ no ] [ om ] [ pe ] [ poiNT ] [ pr ] [ re ] [ ro ] [ sa ] [ say ] [ se ] [ semaNTics ] [ so ] [ st ] [ standard ] [ standard iNTerpretation ] [ su ] [ sy ] [ syNTax ] [ T ] [ th ] [ to ] [ tr ] [ type ] [ ua ] [ us ] [ va ] [ var ] [ variable ] [ ve ] [ vi ]