
Search the dblp DataBase
Anna Bucalo:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Anna Bucalo, Giuseppe Rosolini
Lifting. [Citation Graph (0, 0)][DBLP] Category Theory and Computer Science, 1997, pp:281292 [Conf]
 Anna Bucalo, Giuseppe Rosolini
Completions, comonoids, and topological spaces. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2006, v:137, n:13, pp:104125 [Journal]
 Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hoffman
Consistency of the theory of contexts. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2006, v:16, n:3, pp:327372 [Journal]
 Fabio Bellissima, Anna Bucalo
A Distinguishable Model Theorem for the Minimal USTense Logic. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1995, v:36, n:4, pp:585594 [Journal]
 Anna Bucalo, Carsten Führmann, Alex K. Simpson
An equational notion of lifting monad. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:294, n:1/2, pp:3160 [Journal]
 Anna Bucalo, Carsten Führmann, Alex K. Simpson
Equational Lifting Monads. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp: [Journal]
Search in 0.003secs, Finished in 0.003secs
