The following pages link to (Q4285618):
Displaying 6 items.
- Categorical foundations of topology with applications to quantaloid enriched topological spaces (Q277343) (← links)
- Quantaloids, enriched categories and automata theory (Q1899876) (← links)
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- Generic expansions of ω-categorical structures and semantics of generalized quantifiers (Q4262584) (← links)
- A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes (Q4606700) (← links)
- A categorical equivalence between logical quantale modules and quantum B‐modules (Q6140753) (← links)
