| < Previous Terms | Terms Containing redex | Next Terms > |
| recursive type Red Red Book Red Brick Intelligent SQL Redcode |
applicative order reduction delta reduction eager evaluation Head Normal Form head normalisation theorem |
Red Hat RediLisp redirection redirector RedNet Ltd. |