Sciweavers

16 search results - page 4 / 4
» tlca 2007
Sort
View
TLCA
2007
Springer
13 years 11 months ago
Weakly Distributive Domains
In our previous work [17] we have shown that for any ω-algebraic meet-cpo D, if all higher-order stable function spaces built from D are ω-algebraic, then D is finitary. This ac...
Ying Jiang, Guo-Qiang Zhang