The following pages link to (Q4168048):
Displayed 4 items.
- Correctness of recursive parallel nondeterministic flow programs (Q789165) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Final algebra semantics and data type extensions (Q1131834) (← links)
- Regular trees and the free iterative theory (Q1169813) (← links)