The largest Cartesian closed category of domains, considered constructively

  • Dieter Spreen
  • Published 2005 in Mathematical Structures in Computer Science


A conjecture of Smyth is discussed which says that if D and [D → D] are effectively algebraic directed-complete partial orders with least element (cpo’s), then D is an effectively strongly algebraic cpo, where it was not made precise what is meant by an effectively algebraic and an effectively strongly algebraic cpo. Notions of an effectively strongly… (More)
DOI: 10.1017/S0960129504004591


  • Presentations referencing similar topics