superdevelopment
English
editEtymology
editFrom super- + development.
Noun
editsuperdevelopment (plural superdevelopments)
- (mathematics) A particular form or development
- 2010, Eduardo Bonelli, Pablo Barenbaum, “Superdevelopments for Weak Reduction”, in (Please provide the book title or journal name)[1]:
- In contrast to developments, a superdevelopment from a term M allows not only residuals of redexes in M to be reduced but also some newly created ones.