superdevelopment
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]From super- + development.
Noun
[edit]superdevelopment (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.