Pages that link to "Item:Q3564340"
From MaRDI portal
The following pages link to Tree-functors, determinacy and bisimulations (Q3564340):
Displaying 7 items.
- Conduché property and tree-based categories (Q1040596) (← links)
- Sequent Calculus in the Topos of Trees (Q2948556) (← links)
- A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes (Q4606700) (← links)
- (Q4825687) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
- (Q5411462) (← links)
- Types for Proofs and Programs (Q5712306) (← links)