Reductivity
From MaRDI portal
Publication:1916366
Recommendations
Cited in
(13)- Reduction Under Substitution
- Intrinsic Reducibilities
- Analog reducibility
- Reductive modes
- Algebra of programming in Agda: Dependent types for relational program derivation
- A calculational approach to mathematical induction
- Formal derivation of greedy algorithms from relational specifications: a tutorial
- Datatype-generic termination proofs
- Nondeterministic semantics of compound diagrams
- Guyan reduction
- On reduction properties
- Value-free reductions
- Assertions and recursions
This page was built for publication: Reductivity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1916366)