The following pages link to (Q3838013):
Displayed 8 items.
- Components as coalgebras: the refinement dimension (Q820141) (← links)
- Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
- Datatype-generic termination proofs (Q1015386) (← links)
- Towards a linear algebra of programming (Q1941862) (← links)
- A calculus for generic, QoS-aware component composition (Q1949090) (← links)
- Zippy Tabulations of Recursive Functions (Q3521982) (← links)
- Final Dialgebras: From Categories to Allegories (Q4943551) (← links)
- Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091) (← links)