dictionary help| evaluation strategy --> reduction strategy | computing dictionary |
<theory> An algorithm for deciding which redex(es) to reduce next. Different strategies have different termination properties in the presence of recursive functions or values.
See string reduction, normal order reduction, applicative order reduction, parallel reduction
(01 Mar 1995)
reduction of chromosomes, reduction phase, reduction potential < Prev | Next > reductive dechlorination, redundancy, redundancy
Bookmark with:      | word visualiser | Go and visit our forums  |
