Pages that link to "Item:Q5492824"
From MaRDI portal
The following pages link to Algebra and Coalgebra in Computer Science (Q5492824):
Displaying 4 items.
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- Coeffects: a calculus of context-dependent computation (Q2819671) (← links)
- Symbolic and Asynchronous Semantics via Normalized Coalgebras (Q3003325) (← links)
- Hybrid Logical Analyses of the Ambient Calculus (Q3612655) (← links)