Anna Bucalo

Publication Activity (10 Years)

Years Active: 1994-2014
Publications (10 Years): 0

Top Topics

Multiresolution

Topological Spaces

Top Venues

Theor. Comput. Sci.

Publications

Anna Bucalo, Giuseppe Rosolini
Sobriety for equilogical spaces. Theor. Comput. Sci. 546 (2014)
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann
Consistency of the theory of contexts. J. Funct. Program. 16 (3) (2006)
Anna Bucalo, Giuseppe Rosolini
Completions, comonoids, and topological spaces. Ann. Pure Appl. Log. 137 (1-3) (2006)
Anna Bucalo, Carsten Führmann, Alex K. Simpson
An equational notion of lifting monad. Theor. Comput. Sci. 294 (1/2) (2003)
Anna Bucalo, Carsten Führmann, Alex K. Simpson
Equational Lifting Monads. CTCS (1999)
Anna Bucalo, Giuseppe Rosolini
Lifting. Category Theory and Computer Science (1997)
Fabio Bellissima, Anna Bucalo
A Distinguishable Model Theorem for the Minimal US-Tense Logic. Notre Dame J. Formal Log. 36 (4) (1995)
Anna Bucalo
Modalities in linear logic weaker than the exponential "of course": Algebraic and relational semantics. J. Log. Lang. Inf. 3 (3) (1994)