The following pages link to Anna Bucalo (Q1295498):
Displayed 11 items.
- Repleteness and the associated sheaf (Q1295499) (← links)
- Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609) (← links)
- An equational notion of lifting monad (Q1398461) (← links)
- A distinguishable model theorem for the minimal \(\text{US}\)-tense logic (Q1913633) (← links)
- Sobriety for equilogical spaces (Q2253179) (← links)
- Completions, comonoids, and topological spaces (Q2575766) (← links)
- (Q4362974) (← links)
- (Q4499236) (← links)
- Topologies and free constructions (Q4982516) (← links)
- Consistency of the theory of contexts (Q5472313) (← links)
- (Q5718571) (← links)