The following pages link to Towards a Typed Omega Algebra (Q3007578):
Displaying 5 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Typing theorems of omega algebra (Q1931900) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Completeness results for omega-regular algebras (Q2347912) (← links)
- Type reconstruction in F<sub>ω</sub> (Q4347376) (← links)