Pages that link to "Item:Q4130961"
From MaRDI portal
The following pages link to Semantics of the Domain of Flow Diagrams (Q4130961):
Displaying 4 items.
- Combining algebraic effects with continuations (Q879352) (← links)
- Semantical analysis of specification logic (Q913527) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Tree constructions of free continuous algebras (Q1160149) (← links)