@Unpublished{     riba:hal-00617624,
  Author        = "Riba, Colin",
  Abstract      = "{We investigate the representation of functions on streams in some denota- tional domains. As expected, a total continuous stream function can always be represented by a Scott-continuous function, and moreover by a strongly stable map in the corresponding Hypercoherence. It seems however difficult to represent an arbitrary stream function by a monotone map on Scott domains such that the stream function is continuous if and only if its representant is Scott-continuous. The difficulty is that the set of Scott-approximants of an open subset of a not (topologically) compact set of streams may not be Scott-open. We show that this problem does not occur in the compact case.}",
  affiliation   = "Laboratoire de l'Informatique du Parall{\'e}lisme - LIP",
  date-added    = "2013-12-28 19:42:43 +0000",
  date-modified = "2013-12-28 19:42:43 +0000",
  hal_id        = "hal-00617624",
  Language      = "Anglais",
  Month         = "August",
  PDF           = "http://hal.archives-ouvertes.fr/hal-00617624/PDF/main.pdf",
  Title         = "{On the Representation of Stream Functions in Denotational Domains}",
  URL           = "http://hal.archives-ouvertes.fr/hal-00617624",
  Year          = "2011",
  bdsk-url-1    = "http://hal.archives-ouvertes.fr/hal-00617624",
  File          = "On the Representation of Stream Functions in Denotational Domains - Riba (0) (0) - a - a - s.pdf"
}

@Unpublished{ riba:hal-00617624, Author = "Riba, Colin", Abstract = "{We investigate the representation of functions on streams in some denota- tional domains. As expected, a total continuous stream function can always be represented by a Scott-continuous function, and moreover by a strongly stable map in the corresponding Hypercoherence. It seems however difficult to represent an arbitrary stream function by a monotone map on Scott domains such that the stream function is continuous if and only if its representant is Scott-continuous. The difficulty is that the set of Scott-approximants of an open subset of a not (topologically) compact set of streams may not be Scott-open. We show that this problem does not occur in the compact case.}", affiliation = "Laboratoire de l'Informatique du Parall{\'e}lisme - LIP", date-added = "2013-12-28 19:42:43 +0000", date-modified = "2013-12-28 19:42:43 +0000", hal_id = "hal-00617624", Language = "Anglais", Month = "August", PDF = "http://hal.archives-ouvertes.fr/hal-00617624/PDF/main.pdf", Title = "{On the Representation of Stream Functions in Denotational Domains}", URL = "http://hal.archives-ouvertes.fr/hal-00617624", Year = "2011", bdsk-url-1 = "http://hal.archives-ouvertes.fr/hal-00617624", File = "On the Representation of Stream Functions in Denotational Domains - Riba (0) (0) - a - a - s.pdf" }