Abstract | ||
---|---|---|
. To model at the same time parallel and non-deterministic functional calculiwe define a powerdomain functor P such that it is an endofunctor over the categoryof algebraic lattices. P is locally continuous and we study the initial solution D1ofthe domain equation D = P([D ! D]? ). We derive from the algebras of P the logicof D1, that is the axiomatic description of its compact elements. We then define a-calculus and a type assignment system using the logic of D1as the related... |
Year | Venue | Keywords |
---|---|---|
1997 | Fundam. Inform. | convex powerdomain |
DocType | Volume | Issue |
Journal | 32 | 3-4 |
Citations | PageRank | References |
0 | 0.34 | 18 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fabio Alessi | 1 | 83 | 12.04 |
Mariangiola Dezani-Ciancaglini | 2 | 1615 | 193.57 |
Ugo de'Liguoro | 3 | 251 | 23.50 |