Anna Bucalo

According to our database, Anna Bucalo authored at least 9 papers between 1994 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Sobriety for equilogical spaces.

Anna Bucalo, Giuseppe Rosolini

Theor. Comput. Sci., 2014

2006

Consistency of the theory of contexts.

Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann

J. Funct. Program., 2006

Completions, comonoids, and topological spaces.

Anna Bucalo, Giuseppe Rosolini

Ann. Pure Appl. Log., 2006

2005

Spaces as comonoids.

Anna Bucalo, Giuseppe Rosolini

Proceedings of the From sets and types to topology and analysis, 2005

2003

An equational notion of lifting monad.

Anna Bucalo, Carsten Führmann, Alex K. Simpson

Theor. Comput. Sci., 2003

1999

Equational Lifting Monads.

Anna Bucalo, Carsten Führmann, Alex K. Simpson

Proceedings of the Conference on Category Theory and Computer Science, 1999

1997

Lifting.

Anna Bucalo, Giuseppe Rosolini

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1995

A Distinguishable Model Theorem for the Minimal US-Tense Logic.

Fabio Bellissima, Anna Bucalo

Notre Dame J. Formal Log., 1995

1994

Modalities in linear logic weaker than the exponential "of course": Algebraic and relational semantics.

Anna Bucalo

J. Log. Lang. Inf., 1994