The following pages link to Unifying Correctness Statements (Q2908567):
Displaying 5 items.
- Algebras for iteration and infinite computations (Q715050) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- Conscriptions: A New Relational Model for Sequential Computations (Q3455648) (← links)
- Correctness of unification without occur check in prolog (Q4285641) (← links)