OnlineWoerterBuecher.de
Internes

Free On-line Dictionary of Computing: Search Results

Search Results for: redex



Results in the term's title:

·  redex


Results in the term's text:

·  applicative order reduction
·  delta reduction
·  eager evaluation
·  Head Normal Form
·  head normalisation theorem
·  lenient evaluation
·  normal order reduction
·  parallel reduction
·  reduction
·  reduction strategy
·  Weak Head Normal Form


  


[ Return to Free On-line Dictionary of Computing ]

[ Go Back ]
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0549 Seconds, with 15 Database-Queries
Zurück zur Startseite