@Article{         Laird,
  Author        = "Laird, James",
  Abstract      = "We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order -- the extensional order -- and a bistable coherence, which captures equivalence of program behaviour, up to permutation of top (error) and bottom (divergence). We show that monotone and bistable functions (which are required to preserve bistably bounded meets and joins) are strongly sequential, and use this fact to prove universality results for the bistable biorder semantics of the simply-typed lambda-calculus (with atomic constants), and an extension with arithmetic and recursion.",
  date-added    = "2013-05-15 09:58:50 +0000",
  date-modified = "2013-05-15 09:58:58 +0000",
  EPrint        = "cs/0702169",
  Keywords      = "domain theory and stable models",
  Title         = "Bistable Biorders: A Sequential Domain Theory",
  URL           = "http://arxiv.org/abs/cs/0702169",
  bdsk-url-1    = "http://arxiv.org/abs/cs/0702169",
  File          = "Bistable Biorders A Sequential Domain Theory - Laird (0) (0) - a - a - s.pdf"
}

@Article{ Laird, Author = "Laird, James", Abstract = "We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order -- the extensional order -- and a bistable coherence, which captures equivalence of program behaviour, up to permutation of top (error) and bottom (divergence). We show that monotone and bistable functions (which are required to preserve bistably bounded meets and joins) are strongly sequential, and use this fact to prove universality results for the bistable biorder semantics of the simply-typed lambda-calculus (with atomic constants), and an extension with arithmetic and recursion.", date-added = "2013-05-15 09:58:50 +0000", date-modified = "2013-05-15 09:58:58 +0000", EPrint = "cs/0702169", Keywords = "domain theory and stable models", Title = "Bistable Biorders: A Sequential Domain Theory", URL = "http://arxiv.org/abs/cs/0702169", bdsk-url-1 = "http://arxiv.org/abs/cs/0702169", File = "Bistable Biorders A Sequential Domain Theory - Laird (0) (0) - a - a - s.pdf" }