El significado en ciencia de la computación es un modelo para describir el mundo que consiste en un conjunto de tipos, propiedades y relaciones entre tipos.