The following pages link to Reductivity (Q1916366):
Displaying 13 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Datatype-generic termination proofs (Q1015386) (← links)
- Reductive modes (Q1307328) (← links)
- A calculational approach to mathematical induction (Q1391737) (← links)
- Formal derivation of greedy algorithms from relational specifications: a tutorial (Q2374306) (← links)
- Value-free reductions (Q2667278) (← links)
- Guyan reduction (Q3474826) (← links)
- Reduction Under Substitution (Q3522035) (← links)
- Algebra of programming in Agda: Dependent types for relational program derivation (Q3644935) (← links)
- On reduction properties (Q4314679) (← links)
- Intrinsic Reducibilities (Q4511552) (← links)
- Assertions and recursions (Q4645810) (← links)
- Analog reducibility (Q5163980) (← links)