| 2006 |
|---|
| 6 | EE | Anna Bucalo,
Giuseppe Rosolini:
Completions, comonoids, and topological spaces.
Ann. Pure Appl. Logic 137(1-3): 104-125 (2006) |
| 5 | EE | Anna Bucalo,
Furio Honsell,
Marino Miculan,
Ivan Scagnetto,
Martin Hofmann:
Consistency of the theory of contexts.
J. Funct. Program. 16(3): 327-372 (2006) |
| 2003 |
|---|
| 4 | | Anna Bucalo,
Carsten Führmann,
Alex K. Simpson:
An equational notion of lifting monad.
Theor. Comput. Sci. 294(1/2): 31-60 (2003) |
| 1999 |
|---|
| 3 | EE | Anna Bucalo,
Carsten Führmann,
Alex K. Simpson:
Equational Lifting Monads.
Electr. Notes Theor. Comput. Sci. 29: (1999) |
| 1997 |
|---|
| 2 | | Anna Bucalo,
Giuseppe Rosolini:
Lifting.
Category Theory and Computer Science 1997: 281-292 |
| 1995 |
|---|
| 1 | | Fabio Bellissima,
Anna Bucalo:
A Distinguishable Model Theorem for the Minimal US-Tense Logic.
Notre Dame Journal of Formal Logic 36(4): 585-594 (1995) |
