The following pages link to (Q4738222):
Displayed 14 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← links)
- Comparing operational models of name-passing process calculi (Q2495643) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- A Well-behaved LTS for the Pi-calculus (Q2871826) (← links)
- A Name Abstraction Functor for Named Sets (Q2873662) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Ugo Montanari and Software Verification (Q3507392) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)