superdevelopment

noun

superdevelopment

noun

Etymology From super- + development.

1

Mathematics, Sciences A particular form or development

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.2010, Eduardo Bonelli, Pablo Barenbaum, “Superdevelopments for Weak Reduction”, in (Please provide the book title or journal name):

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.