2 search results - page 1 / 1 » Presenting Dcpos and Dcpo Algebras |
ENTCS
2008
13 years 4 months ago
2008
Dcpos can be presented by a preorder of generators and inequational relations expressed as covers. Algebraic operations on the generators (possibly with their results being ideals...
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...