Pages that link to "Item:Q5705871"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705871):
Displaying 12 items.
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
- About \({|}/{|}\)-quantifiers (Q1410543) (← links)
- Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Two cotensors in one: presentations of algebraic theories for local state and fresh names (Q2805171) (← 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)
- A semantics for nabla (Q5236555) (← links)
- A Categorical Model of the Fusion Calculus (Q5415643) (← links)
