Anna Bucalo

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Topologies and free constructions
Logic and Logical Philosophy
2015-04-09Paper
Sobriety for equilogical spaces
Theoretical Computer Science
2014-07-25Paper
Consistency of the theory of contexts
Journal of Functional Programming
2006-06-09Paper
scientific article; zbMATH DE number 2247259 (Why is no real title available?)2006-01-16Paper
Completions, comonoids, and topological spaces
Annals of Pure and Applied Logic
2005-12-06Paper
An equational notion of lifting monad
Theoretical Computer Science
2003-07-29Paper
scientific article; zbMATH DE number 1497816 (Why is no real title available?)2001-03-04Paper
Repleteness and the associated sheaf
Journal of Pure and Applied Algebra
1999-08-16Paper
scientific article; zbMATH DE number 1086724 (Why is no real title available?)1997-11-13Paper
A distinguishable model theorem for the minimal \(\text{US}\)-tense logic
Notre Dame Journal of Formal Logic
1996-05-22Paper
Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics
Journal of Logic, Language and Information
1994-11-10Paper


Research outcomes over time


This page was built for person: Anna Bucalo