Modalities in linear logic weaker than the exponential "of course": Algebraic and relational semantics. - Anna Bucalo (J. Log. Lang. Inf., 1994)

A Distinguishable Model Theorem for the Minimal US-Tense Logic. - Fabio Bellissima; Anna Bucalo (Notre Dame J. Formal Log., 1995)

Lifting. - Anna Bucalo; Giuseppe Rosolini (Category Theory and Computer Science, 1997)

Equational Lifting Monads. - Anna Bucalo; Carsten Führmann; Alex K. Simpson (CTCS, 1999)

An equational notion of lifting monad. - Anna Bucalo; Carsten Führmann; Alex K. Simpson (Theor. Comput. Sci., 2003)

Spaces as comonoids. - Anna Bucalo; Giuseppe Rosolini (From sets and types to topology and analysis, 2005)

Completions, comonoids, and topological spaces. - Anna Bucalo; Giuseppe Rosolini (Ann. Pure Appl. Log., 2006)

Consistency of the theory of contexts. - Anna Bucalo; Furio Honsell; Marino Miculan; Ivan Scagnetto; Martin Hofmann 001 (J. Funct. Program., 2006)

Sobriety for equilogical spaces. - Anna Bucalo; Giuseppe Rosolini (Theor. Comput. Sci., 2014)