The following pages link to (Q4490763):
Displaying 4 items.
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Duality beyond sober spaces: Topological spaces and observation frames (Q671991) (← links)
- Type theories and object-oriented programmimg (Q3795187) (← links)
- Type extensions (Q3815521) (← links)