haganje agahindaamagambo ajya kuvuga ntabwo ntekereza ko iyi modoka ishaje izagera hejuru yumusozi such spaces naturally occur in computer science specifically in denotational semantics