The following pages link to Reductivity (Q1916366):
Displaying 6 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Datatype-generic termination proofs (Q1015386) (← links)
- A calculational approach to mathematical induction (Q1391737) (← links)
- Formal derivation of greedy algorithms from relational specifications: a tutorial (Q2374306) (← links)
- Algebra of programming in Agda: Dependent types for relational program derivation (Q3644935) (← links)
- Assertions and recursions (Q4645810) (← links)
