Pages that link to "Item:Q5705871"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705871):
Displaying 11 items.
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← 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)
